springer jan 2005 (144 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -Focussing on the manipulation and representation of geometrical objects, this book explores the application of geometry to computer graphics and computer-aided design (CAD).New features in this revised and updated edition include: the application of quaternions to computer graphics animation and orientation; discussions of the main geometric CAD surface operations and constructions: extruded, rotated and swept surfaces; offset surfaces; thickening and shelling; and skin and loft surfaces; an introduction to rendering methods in computer graphics and CAD: colour, illumination models, shading algorithms, silhouettes and shadows.Over 300 exercises are included, many of which encourage the reader to implement the techniques and algorithms discussed through the use of a computer package with graphing and computer algebra capabilities. A dedicated website also offers further resources and links to other useful websites.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 368 pp. Englisch.

Buch. Zustand: Neu. Neuware -Modeling Performance Measurement: Applications and Implementation Issues in DEA presents unified results from several authors¿ recent DEA research. These new DEA methodology and techniques are developed in application-driven scenarios that go beyond the identification of the best-practice frontier and seek solutions to aid managerial decisions. These new DEA developments are well-grounded in real world applications. Both DEA researchers and practitioners will find this book helpful. Theory is provided for DEA researchers for further development and possible extensions. However, it should also be mentioned that each theory is presented in practical terms with numerical examples, simple real management cases and verbal descriptions. These concrete examples will be of value to researchers, students, and practitioners.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 428 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -SAC 2004 was the eleventh in a series of annual workshops on Selected Areas in Cryptography. This was the second time that the workshop was hosted by the University of Waterloo, Ontario, with previous workshops being held at Queen¿sUniversityinKingston(1994,1996,1998and1999),CarletonUnivers ity in Ottawa (1995, 1997 and 2003), the Fields Institute in Toronto (2001) and Memorial University of Newfoundland in St. John¿s (2002). The primary intent of the workshop was to provide a relaxed atmosphere in which researchers in cryptography could present and discuss new work on selected areas of current interest. This year¿s themes for SAC were: ¿ Design and analysis of symmetric key cryptosystems. ¿ Primitives for symmetric key cryptography, including block and stream - phers, hash functions, and MAC algorithms. ¿ E cient implementation of cryptographic systems in public and symmetric key cryptography. ¿ Cryptographic solutions for mobile (web) services. A record of 117 papers were submitted for consideration by the program committee. After an extensive review process, 25 papers were accepted for p- sentation at the workshop (two of these papers were merged). Unfortunately, many good papers could not be accommodated this year. These proceedings contain the revised versions of the 24 accepted papers. The revised versions were not subsequently checked for correctness. Also, we were very fortunate to have two invited speakers at SAC 2004. ¿ Eli Biham arranged for some breaking news in his talk on ¿New Results on SHA-0 and SHA-1.¿ This talk was designated as the Sta ord Tavares L- ture. 372 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -On February 26¿27, 2004, the 3rd International Workshop on Peer-to-Peer S- tems (IPTPS 2004) brought researchers and practitioners together to discuss the latest developments in peer-to-peer technologies, applications, and systems. As the third workshop in the series, IPTPS 2004 continued the success of the previous workshops in pioneering the state of the art in peer-to-peer systems and identifying key research challenges in the area. The workshop received 145 submissions in the form of ve-page position papers. As with previous workshops, submissions went through two rounds of reviews by an international program committee of 14 experts from industry and academia.In the rst round eachsubmission receivedtwo reviews.In the second round we focused our attention on submissions with either positive reviews, or with reviews that expressed substantially di erent opinions. In addition to the technical merit, the reviewing process emphasized originality and the potential of the submission to lead to interesting discussions during the workshop. Intheend,theprogramcommitteeselectedaworkshopprogramof27papers coveringawiderangeoftopicsincludingnewpeer-to-peerapplications,advances in routing, load balancing, searching, as well as transport, mobility, and other networking topics. Authors revised accepted position papers to six pages for the workshop program, and made a nal round of revision for this volume. The workshop was composed of eight sessions that spanned two days. To focus discussions, attendance was limited to 67 participants and included s- stantialtimeforinteractionanddiscussionbetweensessionsandatsocialevents. 316 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This year, for the eighth time, the European Conference on Object-Oriented Programming (ECOOP) series, in cooperation with Springer, is glad to o er the object-oriented research community the ECOOP 2004 Workshop Reader, a compendium of workshop reports pertaining to the ECOOP 2004 conference, held in Oslo from June 15 to 19, 2004. ECOOP 2004 hosted 19 high-quality workshops covering a large spectrum of hot research topics. These workshops were chosen through a tight peer review process following a speci c call for proposals ending on November 30, 2003. We are very grateful to the members of the Workshop Selection Committee for their careful reviews and hard work to put together the excellent workshop program. We also want to thank all submitters, accepted or not, to whom the workshop program equally owes its quality. This selection process was then followed by a selection of workshop participants, done by each team of organizers based on an open call for position papers. This participant selection process ensured that we gathered the most active researchers in each workshop research area, and therefore a fruitful working meeting. Following the tradition of the ECOOP Workshop Reader, we strove for hi- quality, value-adding and open-ended workshop reports. The result, as you can judgefromthefollowingpages,isathought-provokingsnapshotofthecurrent- searchinobject-orientation,fullofpointersforfurtherexplorationof thecovered topics. We want to thank our workshop organizers who, despite the additional burden, did a great job in putting together these reports. 228 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains papers selected for presentation at the 31st Annual C- ference on Current Trends in Theory and Practice of Informatics ¿ SOFSEM 2005, held on January 22¿28, 2005 in LiptovskyJ ¿ an, ¿ Slovakia. The series of SOFSEM conferences, organized alternately in the Czech - public and Slovakia since 1974, has a well-established tradition. The SOFSEM conferences were originally intended to break the Iron Curtain in scienti c - change. After the velvet revolution SOFSEM changed to a regular broad-scope international conference. Nowadays, SOFSEM is focused each year on selected aspects of informatics. This year the conference was organized into four tracks, each of them complemented by two invited talks: ¿ Foundations of Computer Science (Track Chair: Bernadette Charron-Bost) ¿ Modeling and Searching Data in the Web-Era (Track Chair: Peter Vojt¿ a s) ¿ Software Engineering (Track Chair: M¿ aria Bielikova) ¿ ¿ Graph Drawing (Track Chair: Ondrej Syk ¿ ora) The aim of SOFSEM 2005 was, as always, to promote cooperation among professionalsfromacademiaandindustryworkinginvariousareasofinformatics. Each track was complemented by two invited talks. The SOFSEM 2005 Program Committee members coming from 13 countries evaluated 144 submissions (128 contributed papers and 16 student research - rum papers). After a careful review process (counting at least 3 reviews per paper), followed by detailed discussions in the PC, and a co-chairs meeting held on October 8, 2005 in Bratislava, Slovakia, 44 papers (overall acceptance rate 34. 448 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The LNCS Journal on Data Semantics is devoted to the presentation of notable work that, in one way or another, addresses research and development on issues related to data semantics. Based on the highly visible publication platform Lecture Notes in Computer Science, this new journal is widely disseminated and available worldwide.The scope of the journal ranges from theories supporting the formal definition of semantic content to innovative domain-specific applications of semantic knowledge. The journal addresses researchers and advanced practitioners working on the semantic web, interoperability, mobile information services, data warehousing, knowledge representation and reasoning, conceptual database modeling, ontologies, and artificial intelligence.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The explosive growth of application areas such as electronic commerce, ent- prise resource planning and mobile computing has profoundly and irreversibly changed our views on software systems. Nowadays, software is to be based on open architectures that continuously change and evolve to accommodate new components and meet new requirements. Software must also operate on di - ent platforms, without recompilation, and with minimal assumptions about its operating environment and its users. Furthermore, software must be robust and ¿ autonomous, capable of serving a naive user with a minimum of overhead and interference. Agent concepts hold great promise for responding to the new realities of software systems. They o er higher-level abstractions and mechanisms which address issues such as knowledge representation and reasoning, communication, coordination, cooperation among heterogeneous and autonomous parties, p- ception, commitments, goals, beliefs, and intentions, all of which need conceptual modelling. On the one hand, the concrete implementation of these concepts can lead to advanced functionalities, e.g., in inference-based query answering, tra- action control, adaptive work ows, brokering and integration of disparate inf- mation sources, and automated communication processes. On the other hand, their rich representational capabilities allow more faithful and exible treatments of complex organizational processes, leading to more e ective requirements an- ysis and architectural/detailed design. 256 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Inconsistency arises in many areas in advanced computing. Often inconsistency is unwanted, for example in the specification for a plan or in sensor fusion in robotics; however, sometimes inconsistency is useful. Whether inconsistency is unwanted or useful, there is a need to develop tolerance to inconsistency in application technologies such as databases, knowledge bases, and software systems. To address this situation, inconsistency tolerance is being built on foundational technologies for identifying and analyzing inconsistency in information, for representing and reasoning with inconsistent information, for resolving inconsistent information, and for merging inconsistent information. The idea for this book arose out of a Dagstuhl Seminar on the topic held in summer 2003. The nine chapters in this first book devoted to the subject of inconsistency tolerance were carefully invited and anonymously reviewed. The book provides an exciting introduction to this new field.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Ad hoc and sensor networks are making their way from research to real-world deployments. Body and personal-area networks, intelligent homes, environmental monitoring or inter-vehicle communications: there is almost nothing left that is not going to be smart and networked. While a great amount of research has been devoted to the pure networking aspects, ad hoc and sensor networks will not be successfully deployed if security, dependability, and privacy issues are not addressed adequately.As the first book devoted to the topic, this volume constitutes the thoroughly refereed post-proceedings of the First European Workshop on Security in Ad-hoc and Sensor Networks, ESAS, 2004, held in Heidelberg, Germany in August 2004. The 17 revised full papers were carefully reviewed and selected from 55 submissions. Among the key topics addressed are key distribution and management, authentication, energy-aware cryptographic primitives, anonymity and pseudonymity, secure diffusion, secure peer-to-peer overlays, and RFIDs. 244 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The RSA Conferenceis attended by over10,000securityprofessionalseach year. The Cryptographers¿ Track (CT-RSA), one of several parallel tracks at the c- ference, provides an excellent opportunity for cryptographers to showcase their research to a wide audience. CT-RSA 2005 was the fth year of the Cryptog- phers¿ Track. The selection process for the CT-RSA program is the same as for other cryptography research conferences. This year, the program committee selected 23 papers from 74submissions (two of whichwerelater withdrawn) that covered all aspects of cryptography. The program also included two invited talks by Cynthia Dwork and Moti Yung. These proceedings contain the revised versions of the selected papers. The revisions were not checked, and so the authors (and not the committee) bear full responsibility for the contents of their papers. I am very grateful to the program committee for their very conscientious e orts to review each paper fairly and thoroughly. The initial review stage was followed by a tremendous amount of discussion which contributed to our high con denceinour judgements.Thanks alsoto the manyexternalreviewerswhose names arelisted in the followingpages.My apologiesto thosewhose nameswere inadvertently omitted from this list. Thanks to Eddie Ng for maintaining the submission server and the Web reviewsystem.ThesubmissionsoftwarewaswrittenbyChanathipNamprempre, and the Web review software by Wim Moreau and Joris Claessens. Thanks to AlfredHofmannandhiscolleaguesatSpringerforthetimelyproductionofthese proceedings.Finally, it is my pleasureto acknowledgeAri Juels and MikeSzydlo of RSA Laboratories for their assistance and cooperation during the past seven months.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Inrecentresearchoncomputervisionsystems,attentionhasbeenplayingacrucialrolein mediatingbottom-upandtop-downpathsofinformationprocessing. Inappliedresearch, the development of enabling technologies such as miniaturized mobile sensors, video surveillance systems, and ambient intelligence systems involves the real-time analysis of enormous quantities of data. Knowledge has to be applied about what needs to be attendedto,andwhen,andwhattodoinameaningfulsequence,incorresp ondencewith visual feedback. Methods on attention and control are mandatory to render computer vision systems more robust. The 2nd International Workshop on Attention and Performance in Computational Vision (WAPCV 2004) was held in the Czech Technical University of Prague, Czech Republic, as an associated workshop of the 8th European Conference on Computer - sion (ECCV 2004). The goal of this workshop was to provide an interdisciplinary forum tocommunicatecomputationalmodelsofvisualattentionfromvariousviewpoints,such as from computer vision, psychology, robotics and neuroscience. The motivation for - terdisciplinarity was communication and inspiration beyond the individual community, to focus discussion on computational modelling, to outline relevant objectives for p- formance comparison, to explore promising application domains, and to discuss these with reference to all related aspects of cognitive vision. The workshop was held as a single-day, single-track event, consisting of high-quality podium and poster presen- tions. Invited talks were given by John K. Tsotsos about attention and feature binding in biologically motivated computer vision and by Gustavo Deco about the context of attention, memory and reward from the perspective of computational neuroscience. The interdisciplinary program committee wascomposed of 21 internationally r- ognized researchers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -claritywas¿AProvablyCorrectCompilerforE cientModelCheckingofMobile Processes,¿byPingYang,YifeiDong,C.R.Ramakrishnan,andScottA.Smolka.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Buch. Zustand: Neu. Neuware -The Physics of the Early Universe is an edited and expanded version of the lectures given at a recent summer school of the same name. Its aim is to present an advanced multi-authored textbook that meets the needs of both postgraduate students and young researchers interested in, or already working on, problems in cosmology and general relativity, with emphasis on the early universe. A particularly strong feature of the present work is the constructive-critical approach to the present mainstream theories, the careful assessment of some alternative approaches, and the overall balance between theoretical and observational considerations. As such, this book will also benefit experienced scientists and nonspecialists from related areas of research.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes a commemorative volume devoted to Erich J. Neuhold on the occasion of his 65th birthday. The 32 invited reviewed papers presented are written by students and colleagues of Erich Neuhold throughout all periods of his scientific career.The papers are organized in the following topical sections:Database management enabling information systemsSemantic Web drivers for advanced information managementSecuring dynamic media content integrationFrom digital libraries to intelligent knowledge environmentsVisualization ¿ key to external cognition in virtual information environmentsFrom human-computer interaction to human-artefact interactionDomains for virtual information and knowledge environments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Swarm robotics can be defined as the study of how a swarm of relatively simple physically embodied agents can be constructed to collectively accomplish tasks that are beyond the capabilities of a single one. Unlike other studies on multi-robot systems, swarm robotics emphasizes self-organization and emergence, while keeping in mind the issues of scalability and robustness. These emphases promote the use of relatively simple robots, equipped with localized sensing ability, scalable communication mechanisms, and the exploration of decentralized control strategies.This state-of-the-art survey is the first book devoted to swarm robotics. It is based on the First International Workshop on Swarm Robotics held in Santa Monica, CA, USA in July 2004 as part of SAB 2004 192 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Thisbookconstitutestherefereedproceedingsofthe1stInternationalWorkshop on Semantic Web Services and Web Process Composition, SWSWPC 2004, held at the Westin Horton Plaza Hotel, San Diego, California, USA, July 6, 2004, in conjunction with the IEEE International Conference on Web Services (ICWS 2004). Theworkshopintendedtobringresearchers,scientistsfrombothindustryand academics,andrepresentativesfromdi erentcommunitiestogethertostudy,- derstand, and explore the phases that compose the lifecycle of Semantic Web processes. The workshop presented what can be achieved by the symbiotic s- thesis of two of the hottest R&D and technology application areas, Web services and the Semantic Web, as recognized at the 12th International World Wide Web conference (WWW 2003) and in the industry press. The emphasis of the workshop was mainly on Web services, Web processes and semantics which are important movements emerging in the World Wide Web. Web services and Web processes promise to ease several current infr- tructure challenges, such as data, application, and process integration. Web s- vices are truly platform-independent and allow the development of distributed, loosely coupled applications, a key characteristic for the success of dynamic Web processes. 160 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Database management systems are critical components of highly available appli- tions. To meet this need, many highly available database management systems have been developed. This paper describes the architectures that are internally used to construct these highly available databases. These architectures are examined from the perspective of both process redundancy and logical data redundancy. Process red- dancy is always required; it refers to the maintenance of redundant database processes that can take over in case of failure. Data redundancy is also required. Data red- dancy can be provided at either the physical or the logical level. Although both forms of data redundancy can provide high availability, this paper has concentrated on lo- cal data redundancy since that is a case where the database explicitly manages the data copies. We believe that process and data redundancy are useful means to describe the availability characteristics of these software systems. References 1. Application Interface Specification, SAI-AIS-A. 01. 01, April 2003. Service Availability Forum, available at saforum. org. 2. Gray, J. and Reuter, A. : Transaction Processing Systems, Concepts and Techniques. M- gan Kaufmann Publishers, 1992. 3. How MySQL Cluster Supports 99. 999% Availability. MySQL Cluster white paper, MySQL AB, 2004, available at mysql. com/cluster/. 4. Hu, K. , Mehrotra, S. , Kaplan, S. M. : Failure Handling in an Optimized Two-Safe Approach to Maintaining Primary-Backup Systems. Symposium on Reliable Distributed Systems 1998: 161-167. 5. Humborstad, R. , Sabaratnam, M. , Hvasshovd, S-O. , Torbjørnsen, Ø.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The First Seattle Symposium in Biostatistics: Survival Analysis was held on November 20and 21, 1995in honor ofthe twenty-fifth anniversary ofthe University of Washington (UW) School of Public Health and Community Medicine. The event was a big success. Exactly 5 years later, the Second Seattle Symposium in Biostatistics: Analysis of Correlated Data washeld on November 20 and 21, 2000, and it was also very successful. The event was sponsored by Pfizer and co-sponsored by the UW School of Public Health and Community Medicine and the Division of Public Health Sciences, the Fred Hutchinson Cancer Research Center (FHCRC). The symposium fea tured keynote lectures by Norman Breslow, David Cox and Ross Prentice, as well as invited talks by Raymond Carroll, Peter Diggle, Susan Ellen berg, Ziding Fan, Mitchell Gail, Stephen Lagakos, Nan Laird, Kung-Yee Liang, Roderick Little, Thoms Louis, David Oakes, Robert O'Neill, James Robins, Bruce Thrnbull, Mei-Cheng Wang and Jon Wellner. There were 336 attendees. In addition, 100 people attended the short course Analy sis of Longitudinal Data taught by Patrick Heagerty and Scott Zeger on November 18, and 96 attended the short course Analysis of Multivariate Failure Time Data taught by Danyu Lin, Lee-Jen Wei and Zhiliang Ying on November 19. When the UW School of Public Health and Community Medicine was formed in 1970, biostatistics as a discipline was only a few years old. In the subsequent thirty years, both the field and the UW Department of Biostatistics have evolved in many exciting ways.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -A central theme in the study of dynamic systems is the modelling and control of uncertain systems. While ¿uncertainty¿ has long been a strong motivating factor behind many techniques developed in the modelling, control, statistics and mathematics communities, the past decade, in particular, has witnessed remarkable progress in this area with the emergence of a number of powerful newmethodsforbothmodellingandcontrollinguncertaindynamicsystems. The speci c objective of this book is to describe and review some of these exciting new approaches within a single volume. Our approach was to invite some of the leading researchers in this area to contribute to this book by submitting both tutorial papers on their speci c area of research, and to submit more focussed research papers to document some of the latest results in the area. We feel that collecting some of the main results together in this manner is particularly important as many of the important ideas that emerged in the past decade were derived in a variety of academic disciplines. By providing both tutorial and researchpaperswehopetobeabletoprovidetheinterestedreaderwithsu cient background to appreciate some of the main concepts from a variety of related, but nevertheless distinct elds, and to provide a avor of how these results are currently being used to cope with ¿uncertainty. ¿ It is our sincere hope that the availability of these results within a single volume will lead to further cro- fertilization of ideas and act as a spark for further research in this important area of applied mathematics. 360 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains the papers accepted for presentation at the 6th Inter- tional Conference on Veri cation, Model Checking and Abstract Interpretation (VMCAI 2005), which was held January 17¿19, 2005 in Paris, France. VMCAI provides a forum for researchers from the communities of veri - tion, model checking, and abstract interpretation, facilitating interaction, cro- fertilization, and advancement of hybrid methods that combine the three areas. With the growing need for formal methods to reason about complex, in ni- state, and embedded systems, such hybrid methods are bound to be of great importance. VMCAI 2005 received 92 submissions. Each paper was carefully reviewed, being judged according to scienti c quality, originality, and relevance to the symposium topics. Following online discussions, the program committee met in ¿ Paris,France,attheEcoleNormaleSup¿ erieureonOctober30,2004,andselected 27 papers. In addition to the contributed papers, this volume includes contributions by outstanding invited speakers: ¿ ¿ Patrick Cousot (Ecole Normale Sup¿ erieure, Paris), Proving Program Inva- ance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semide nite Programming; ¿ C.A.R. Hoare (Microsoft Research, Cambridge), The Verifying Compiler, a Grand Challenge for Computing Research; ¿ Amir Pnueli (New York University and Weizmann Institute of Science), - straction for Liveness. The VMCAI 2005 program included an invited tutorial by Sriram K. Ra- mani (Microsoft Research,Redmond) on Model Checking, Abstraction and S- bolic Execution for Software. VMCAI 2005 was followed by workshops on Automatic Tools for Veri - tion, Abstract Interpretation of Object-Oriented Languages, and Numerical & Symbolic Abstract Domains.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 500 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume of Lecture Notes in Computer Science contains the revised versions of the papers presented at the 9th International Conference on Implemen- tion and Application of Automata, CIAA 2004. Also included are the extended abstracts of the posters accepted to the conference. The conference was held at Queen¿s University in Kingston, Ontario, Canada on July 22¿24, 2004. As for its predecessors, the theme of CIAA 2004 was the implementation of automata and grammars of all types and their application in other elds. The topics of the papers presented at the conference range from applications of automata in natural language and speech processing to protein sequencingandgenecompression,andfromstatecomplexityandnewalgorithms for automata operations to applications of quantum nite automata. The25regularpapersand14posterpaperswereselectedfrom62submissions totheconference.EachsubmittedpaperwasevaluatedbyatleastthreeProgram Committee members, with the help of external referees. Based on the referee reports, the paper ¿Substitutions, Trajectories and Noisy Channels¿ by L. Kari, S. Konstantinidis and P. Sos¿ k was chosen as the winner of the CIAA 2004 Best Paper Award. The award is sponsored by the University of California at Santa Barbara. The authors of the papers presented here come from the following countries and regions: Austria, Canada, Czech Republic, Finland, France, Germany, Hong Kong, Netherlands, Portugal, Russia, Slovakia, South Africa, Spain, UK, and USA. 356 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The theme ¿Build and Conquer¿ chosen for this year¿s conference fully represents what we (the organizers) want to put across to the software community: software development is an engineering discipline, and not an artistic expression. Once we are ready to ¿build¿ our software systems using pieces previously builtin (similar to any other technology manufacturer), we will be able to ¿conquer¿ the software engineering process. If we take a look at other engineering disciplines such as car manufacturing, house appliances or aeronautics, we see that the final products are built through the integration of multiprovider commercial components. These components are successfully integrated and constitute an important part of the final product. Most software-related organizations still build software from scratch, omitting thousands of ready-built commercially available software components that could be used very effectively during the development phase. This year ICCBSS moves to Europe for the first time since the first conference took place in Orlando, FL, USA in 2002. The conference scope has enlarged over the years to include the Open Source community and Web Services technologies. The reason for this is that I believe both are considered components-off-the-shelf, so many of the characteristics of COTS are also applied to Open Source and Web Services. Due to this, we will enjoy the presence of keynote speakers and researchers presenting on these two topics for the first time.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.

Buch. Zustand: Neu. Neuware -Technology Enhanced Learning is an essential reference for both academic and professional researchers in the field of institutional and home education.Technology Enhanced Learning (TeL) has provided tools and infrastructure to education and training disciplines for over a decade. The papers presented in this volume cover research issues including pedagogical and evaluation theories, integrated learning environments, e-learning experiments, trials and overall results from actual TeL deployment.This state-of-the-art volume contains a compilation of select papers presented during the Technology Enhanced Learning (TeL) workshop co-located with the World Computer Congress, August 2004, in Toulouse, France.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book is about public education reform and the future of pubHc education funding. Given the many articles, books, and conferences that have focused on the issue of public education reform, it is reasonable to ask whether the world needs still another volume on this subject. In my defense, I would argue that, although there is a large literature on public education reform, there is precious little that tries to sketch the big picture. Too often, both in research and in practice, it is easy to lose sight of the forest, for all the focus on the individual trees. While such detailed analysis is of critical value, that value derives both from its specificity and from its ability to fit into a larger, coherent whole. Unfortunately, our understanding of the public education process is still incomplete and disconnected, particularly with regard to the connections between research, policy, and practice. This book is an attempt to step back for a moment to get one's bearings before jumping headlong back into the forest. It is my hope that this book will be of value to a wide variety of reader- researchers in departments of economics and schools of education, policy makers at all levels, and, of course, the practitioners slogging away in the trenches.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 238 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -criteria linear and nonlinear programming has proven to be a very useful approach. ¿ Knowledge management for enterprise: These papers address various issues related to the application of knowledge management in corporations using various techniques. A particular emphasis here is on coordination and cooperation. ¿ Risk management: Better knowledge management also requires more advanced techniques for risk management, to identify, control, and minimize the impact of uncertain events, as shown in these papers, using fuzzy set theory and other approaches for better risk management. ¿ Integration of data mining and knowledge management: As indicated earlier, the integration of these two research fields is still in the early stage. Nevertheless, as shown in the papers selected in this volume, researchers have endearored to integrate data mining methods such as neural networks with various aspects related to knowledge management, such as decision support systems and expert systems, for better knowledge management. September 2004 Yong Shi Weixuan Xu Zhengxin Chen CASDMKM 2004 Organization Hosted by Institute of Policy and Management at the Chinese Academy of Sciences Graduate School of the Chinese Academy of Sciences International Journal of Information Technology and Decision Making Sponsored by Chinese Academy of Sciences National Natural Science Foundation of China University of Nebraska at Omaha, USA Conference Chairs Weixuan Xu, Chinese Academy of Sciences, China Yong Shi, University of Nebraska at Omaha, USA Advisory Committee 284 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume consists of the refereed papers presented at the Indonesia-Japan Joint Conference on Combinatorial Geometry and Graph Theory (IJCCGGT 2003), held on September 13¿16, 2003 at ITB, Bandung, Indonesia. This conf- ence can also be considered as a series of the Japan Conference on Discrete and Computational Geometry (JCDCG), which has been held annually since 1997. The rst ve conferences of the series were held in Tokyo, Japan, the sixth in Manila, the Philippines, in 2001, and the seventh in Tokyo, Japan in 2002. The proceedings of JCDCG 1998, JCDCG 2000 and JCDCG 2002 were p- lished by Springer as part of the series Lecture Notes in Computer Science: LNCS volumes 1763, 2098 and 2866, respectively. The proceedings of JCDCG 2001 were also published by Springer as a special issue of the journal Graphs and Combinatorics, Vol. 18, No. 4, 2002. TheorganizersaregratefultotheDepartmentofMathematics,InstitutTek- logi Bandung (ITB) and Tokai University for sponsoring the conference. We also thank all program committee members and referees for their excellent work. Our big thanks to the principal speakers: Hajo Broersma, Mikio Kano, Janos Pach andJorgeUrrutia.Finally,ourthanksalsogoestoallourcolleagueswhoworked hard to make the conference enjoyable and successful. August 2004 Jin Akiyama Edy Tri Baskoro Mikio Kano Organization The Indonesia-Japan Joint Conference on Combinatorial Geometry and Graph Theory (IJCCGGT) 2003 was organized by the Department of Mathematics, InstitutTeknologiBandung(ITB)IndonesiaandRIED,TokaiUniversity ,Japan.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book is the first serious attempt to gather all of the available theory of 'nonharmonic Fourier series' in one place, combining published results with new results by the authors.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA Goddard Space Flight Center) in April 2004 in conjunction with the IEEE Computer Society. The first FAABS workshop was help in April 2000 and the second in October 2002. Interest in agent-based systems continues to grow and this is seen in the wide range of conferences and journals that are addressing the research in this area as well as the prototype and developmental systems that are coming into use. Our third workshop, FAABS-III, was held in April, 2004. This volume contains the revised papers and posters presented at that workshop. The Organizing Committee was fortunate in having significant support in the planning and organization of these events, and were privileged to have wor- renowned keynote speakers Prof. J Moore (FAABS-I), Prof. Sir Roger Penrose (FAABS-II), and Prof. John McCarthy (FAABS-III), who spoke on the topic of se- aware computing systems, auguring perhaps a greater interest in autonomic computing as part of future FAABS events. We are grateful to all who attended the workshop, presented papers or posters, and participated in panel sessions and both formal and informal discussions to make the workshop a great success. Our thanks go to the NASA Goddard Space Flight Center, Codes 588 and 581 (Software Engineering Laboratory) for their financial support and to the IEEE Computer Society (Technical Committee on Complexity in Computing) for their sponsorship and organizational assistance.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -In this book invariant probabilities for a large class of discrete-time homogeneous Markov processes known as Feller processes are discussed. These Feller processes appear in the study of iterated function systems with probabilities, convolution operators, certain time series, etc. Rather than dealing with the processes, the transition probabilities and the operators associated with these processes are studied.Main features: an ergodic decomposition which is a 'reference system' for dealing with ergodic measures 'formulas' for the supports of invariant probability measures, some of which can be used to obtain algorithms for the graphical display of these supports helps to gain a better understanding of the structure of Markov-Feller operators, and, implicitly, of the discrete-time homogeneous Feller processes special efforts to attract newcomers to the theory of Markov processes in general, and to the topics covered in particular most of the results are new and deal with topics of intense research interest.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 128 pp. Englisch.