springer berlin heidelberg springer berlin heidelberg mär 2005 (99 resultados)

Taschenbuch. Condición: Neu. Neuware -Fehldiagnosen in der Medizin haben meist schwerwiegende Folgen für den Patienten: eine falsche Therapie und verschlechterte Prognose können die Lebensqualität nachhaltig beeinflussen. Das vorliegende Buch macht auf das Thema 'Fehldiagnosen und Patientensicherheit' unter dem Aspekt eines immensen diagnostischen Fortschritts aufmerksam.Nach einem Einführungskapitel zur Definition und Häufigkeit von Fehldiagnosen werden Fehldiagnosen aus verschiedenen Fachbereichen der Inneren Medizin dargestellt. Aber auch Irrtümer in der Arzneitherapie finden Beachtung. Zusätzlich bietet das Buch Übersichtsbeiträge über diagnostisches Qualitätsmanagement, Leitlinien und Risikomanagement für Patienten.Gleichermaßen interessant für Allgemeinmediziner, Internisten, Neurologen, Psychiater, Praktiker und Klinische Pharmakologen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Deutsch.

Taschenbuch. Condición: Neu. Neuware -- Welche Probleme tauchen in relativistischen Erweiterungen der Schrödinger-Theorie auf, insbesondere wenn man an der gewohnten Ein-Teilchen-Wahrscheinlichkeitsinterpretation festhält - Inwieweit können diese Schwierigkeiten überwunden werden - Worin besteht die physikalische Notwendigkeit von Quantenfeldtheorien Viele Bücher geben auf solch fundamentale Verständnisfragen nur unzureichend Antwort, indem sie das relativistisch-quantenmechanische Ein-Teilchenkonzept zugunsten einer möglichst frühen Einführung der Feldquantisierung relativ schnell abhandeln oder ganz weglassen. Im Gegensatz dazu betont das vorliegende Lehrbuch gerade diesen Ein-Teilchenaspekt (relativistische Quantenmechanik 'im engeren Sinne'), diskutiert die damit einhergehenden Probleme und motiviert somit auf physikalisch verständliche Weise die Notwendigkeit quantisierter Felder. Die ersten beiden Kapitel beschäftigen sich mit der ausführlichen Darlegung und Gegenüberstellung der Klein-Gordon- und Dirac-Theorie - immer mit Blick auf die nichtrelativistische Theorie. Im dritten Kapitel werden relativistische Streuprozesse behandelt und die Feynman-Regeln aus Propagatorverfahren heraus entwickelt. Dabei wird auch hier deutlich, warum man letztlich um eine quantenfeldtheoretische Begründung nicht herumkommt. Dieses Lehrbuch wendet sich an alle Studierenden der Physik, die an einer übersichtlich geordneten Darstellung der relativistischen Quantenmechanik 'im engeren Sinne' und deren Abgrenzung zu Quantenfeldtheorien interessiert sind. 408 pp. Deutsch.

Buch. Condición: Neu. Neuware -An evolving agenda of Information Technology Auditing is subject of this book. The author presents various current and future issues in the domain of IT Auditing in both scholarly as well as highly practice-driven manner so as to make those issues clear in the mind of an IT auditor. The aim of the book is not to delve deep on the technologies but the impact of these technologies on practices and procedures of IT auditors. Among the topics are complex integrated information systems, enterprise resource planning, databases, complexities of internal controls, and enterprise application integration - all seen from an auditor's perspective. The book will serve a big purpose of support reference for an auditor dealing with the high-tech environment for the first time, but also for experienced auditors.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 258 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -secondly, by papers presenting approaches on how to link or even to combine instruction about such informatics fundamentals with the need to introduce pupils to the productive use of ICT.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The 2004 VLDB workshop on Technologies on E-Services (VLDB-TES 2004) was the fth workshop in a series of annual workshops endorsed by the VLDB Conference.Itservedasaforumfortheexchangeofideas,resultsandexperiences in the area of e-services and e-business. VLDB-TES 2004 took place in Toronto, Canada. It featured the presen- tion of 12 regular papers, focused on major aspects of e-business solutions. In addition, the workshop invited 2 industrial speakers to share their vision, insight and experience with the audience. The workshop would not have been a success without help from so many people. Special thanks go to Fabio Casati, who organized the program agenda and the proceedings publication, and Chandra Srivastava, who served as the publicity chair. We also thank the members of the program committee and the additional reviewers for their thorough work, which greatly contributed to the quality of the nal program. We hope that the participants found the workshop interesting and stimul- ing, and we thank them for attending the workshop and for contributing to the discussions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Researchers in the eld of life sciences rely increasingly on information te- nology to extract and manage relevant knowledge. The complex computational and data management needs of life science research make Grid technologies an attractive support solution. However, many important issues must be addressed before the Life Science Grid becomes commonplace. The 1st International Life Science Grid Workshop (LSGRID 2004) was held in Kanazawa Japan, May 31¿June 1, 2004. This workshop focused on life s- ence applications of grid systems especially for bionetwork research and systems biology which require heterogeneous data integration from genome to phenome, mathematical modeling and simulation from molecular to population levels, and high-performance computing including parallel processing, special hardware and grid computing. Fruitful discussions took place through 18 oral presentations, including a keynote address and ve invited talks, and 16 poster and demonstration p- sentations in the elds of grid infrastructure for life sciences, systems biology, massive data processing, databases and data grids, grid portals and pipelines for functional annotation, parallel and distributed applications, and life science grid projects. The workshop emphasized the practical aspects of grid techno- gies in terms of improving grid-enabled data/information/knowledge sharing, high-performance computing, and collaborative projects. There was agreement among the participants that the advancement of grid technologies for life science research requires further concerted actions and promotion of grid applications. We therefore concluded the workshop with the announcement of LSGRID 2005.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Peer-to-peer (P2P) computing promises to o er exciting new possibilities in d- tributed information processing and database technologies. The realization of this promise lies fundamentally in the availability of enhanced services such as structured ways for classifying and registering shared information, veri cation and certi cation of information, content-distributed schemes and quality of c- tent, security features, information discovery and accessibility, interoperation and composition of active information services, and nally market-based me- anisms to allow cooperative and non-cooperative information exchanges. The P2P paradigm lends itself to constructing large-scale complex, adaptive, - tonomous and heterogeneous database and information systems, endowed with clearly speci ed and di erential capabilities to negotiate, bargain, coordinate, and self-organize the information exchanges in large-scale networks. This vision will have a radical impact on the structure of complex organizations (business, scienti c, or otherwise) and on the emergence and the formation of social c- munities, and on how the information is organized and processed. The P2P information paradigm naturally encompasses static and wireless connectivity, and static and mobile architectures. Wireless connectivity c- bined with the increasingly small and powerful mobile devices and sensors pose new challenges to as well as opportunities for the database community. Inf- mation becomes ubiquitous, highly distributed and accessible anywhere and at any time over highly dynamic, unstable networks with very severe constraints on the information management and processing capabilities.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The Internet is subject to permanent modi cations and to continuous restr- turing. This is primarily due to the tremendous rise in demand for bandwidth by the ever increasing number of users. When compared to the early years of the Internet the quality of the services o ered had to be signi cantly improved in di erent respects (delay, network and service availability, jitter, . . )inorder to satisfy the needs of many new applications. Within the last decade two new developments have contributed to many new opportunities, as well as to a need for intensive research and development: ¿ the increased mobility of users together with the desire for ubiquitous hi- quality access to all o ered services, at reasonable cost; ¿ the use of wireless communication. Despite their relatively low capacity (when compared with xed backbone n- works) the use of radio links supports the ubiquitous availability of Internet services in a quasiperfect way. A considerable amount of research and development activities are currently - ing on worldwide in order to adapt Internet services to the particular needs of mobile users and of wireless communication links. These questions were - tensively discussed at the rst workshop organized by the EURO-NGI Network of Excellence (¿Next Generation Internet¿), which has been funded by the - ropean Union since January 2004 under their IST programme. 264 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Evidence-based Medicine (EBM) is feared to become a kind of cook-book medicine that has nothing to do with the traditional skills and ethics.This volume shows the contribution EBM makes and might make to medical practice and health policy. It describes as many viewpoints as possible with a focus on the ethical issues that are at stake in this process.It shows how EBM has developed from an internal medical issue to an instrument for health policy. It is the outcome of the European Project 'Ethical Issues of Evidence Based Practice in Medicine and Health Care' and gives insight into the ethical background of the debate on the role of EBM in various areas of medicine, including clinical practice, medical education, medical research, health policy and medical sociology.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The keychallengeforfuture computersystemis dealingwithcomplexity.Onone hand this involves internal system complexity which has increased exponentially over recent years. Here the main objectives are to maintain system reliability and to keep the design and maintenance e ort manageable, while at the same timecontinuingtoprovidenewfunctionalityandincreasingsystemperformance. This hasbeenthe focus ofso-calledautonomouscomputing, whichaimsto bring self-con guration and repair to a wide range of computing systems. On the other hand future computer systems are more and more becoming integrated into the fabric of everyday life and thus have to deal with the c- plexities of the real world. They will become smaller, more appropriate for their use, integrated into everyday objects, and often virtually or physically invisible to the users.They will alsobe deployedin a muchhigher quantity andpenetrate many moreapplicationareasthan traditional notionsof computer systems.This requirescomputersystemstobeadaptablewithinamuchwiderrangeofpossible tasks, subjected to much harsher conditions. To provide such features and functionality, computer devices will become tinieryetstillincreaseinsystemcomplexity;theymustconsumelesspower,while still supporting advanced computation and communications, such that they are highlyconnectedyetstilloperateasautonomousunits.Pervasiveandubiquitous computing researchaddressessuchissues by developingconcepts and technology for interweaving computers into our everyday life. The principal approach is to enhance system functionality and adaptability by recognizing context and situations in the environment.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 278 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The UML 2004 conference was held in Lisbon (Portugal) from October 11 through October 15, 2004. It was the seventh conference in a series of annual events that started in 1998. UML has rapidly become one of the leading venues to present and discuss the development of object-oriented modeling. In order to re ect the changes in the eld, the UML conference series will be continued from 2005 onwards under the name MODELS (Model Driven En- neering, Languages and Systems). Inane orttomakethisyear¿sconferencemoreusefulande ectiveforawider community, including academics and practitioners working in areas related to UML and modeling in general, a set of satellite events was organized, including workshopsdedicatedtospeci cresearchtopics,anindustrytrack,aposter/demo session, and a tools exhibit. This volume is a compilation of the contributions presented at these satellite events. Workshops at UML 2004 took place during the rst three days of the conference(fromOctober10to12). Followingthetraditionofprevious UML conferences, UML 2004workshopsprovidedacollaborativeforumforgroups of (typically 15 to 30) participants to exchange recent or preliminary results, to conduct intensive discussions on a particular topic, or to coordinate e orts between representatives of a technical community. Ten workshops were held, covering a variety of hot topics, which have been covered in the workshop - ports contained in this volume. Each workshop lasted for a full day. A novelty with respect to previous UML conferences was the inclusion of a Doctoral Symposium, which was well received, to provide an explicit space for young - searchers developing their thesis on some aspect related to UML. 316 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. Like its predecessors, WADT 2004 focussed on the algebraic approach to the speci cation and development of systems, an area that was born around the algebraic speci cation of abstract data types and encompasses today the formal design of software systems, new speci cation frameworks and a wide range of application areas. WADT 2004 took place at the Technical University of Catalonia (UPC), Barcelona, Spain, on 27¿29 March 2004, and was organized by Fernando Orejas and Jordi Cortadella. ¿ The program consisted of invited talks by Luis Caires (Universidade Nova de Lisboa, Portugal) and Reiko Heckel (University of Paderborn, Germany), and 33 presentations describing ongoing research on main topics of the workshop: formal methods for system development, speci cation languages and methods, systems and techniques for reasoning about speci cations, speci cation devel- ment systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume is based on papers presented at the5thWorkshoponM- brane Computing, WMC5, which took place in Milan, Italy, in the period June 14¿16, 2004, as a satellite event of DNA10 (10th International Workshop on DNA-Based Computing). The rst three workshops were organized in Curtea de Arge¿ s, Romania ¿ they took place in August 2000 (with the proceedings p- lished in Lecture Notes in Computer Science, volume 2235), in August 2001 (with a selection of papers published as a special issue ofFundamenta Inform- icae, volume 49, numbers 1¿3, 2002), and in August 2002 (with the proceedings publishedinLectureNotesinComputerScience,volume2597).Thefourthwo- shop took place in Tarragona, Spain, in July 2003 (the proceedings appeared as volume 2933 of Lecture Notes in Computer Science). Like the previous two meetings, also WMC5 was an o cial workshop of the Molecular Computing Network (MolCoNet) funded by the EU Commission in theFifthFrameworkprogramInformationSocietyTechnologies(projectnumber IST-2001-32008). The preproceedings of WMC5 were published as a MolCoNet report, and they were available during the workshop. This volume contains only a selection of the papers from the preproceedings.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Testing often accounts for more than 50% of the required e ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew methods for the speci cation and generation of high-quality tests. Experience has shown that the use of formal methods in testing represents a very important means for improving the testing process. Formal methods allow for the analysis andinterpretationofmodelsinarigorousandprecisemathematicalmanner.The use of formal methods is not restricted to system models only. Test models may alsobeexamined.Analyzingsystemmodelsprovidesthepossibilityofgenerating complete test suites in a systematic and possibly automated manner whereas examining test models allows for the detection of design errors in test suites and their optimization with respect to readability or compilation and execution time. Due to the numerous possibilities for their application, formal methods have become more and more popular in recent years. The Formal Approaches in Software Testing (FATES) workshop series also bene ts from the growing popularity of formal methods. After the workshops in Aalborg (Denmark, 2001), Brno (Czech Republic, 2002) and Montr¿ eal (Canada, 2003), FATES 2004 in Linz (Austria) was the fourth workshop of this series. Similar to the workshop in 2003, FATES 2004 was organized in a liation with the IEEE/ACM Conference on Automated Software Engineering (ASE 2004). FATES 2004 received 41 submissions. Each submission was reviewed by at least three independent reviewers from the Program Committee with the help of some additional reviewers. Based on their evaluations, 14 full papers and one wo- in-progress paper from 11 di erent countries were selected for presentation. 244 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Adaptive agents and multi-agent systems is an emerging and exciting interdisciplinary area of research and development involving artificial intelligence, software engineering, and developmental biology, as well as cognitive and social science.This book presents 17 revised and carefully reviewed papers taken from two workshops on the topic as well as 2 invited papers by leading researchers in the area. The papers deal with various aspects of machine learning, adaptation, and evolution in the context of agent systems and autonomous agents.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 328 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -TheorganizationwashandledbytheEPFL,INRIAandtheUniversityofPadua.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -In this volume, the reader will rst nd the invited talks givenatthe conference. Then, in a second part, he/she will nd the contributions which were presented attheconferenceafterselection.Inbothcases,papersaregiveninthealphabetic order of the authors. MCU 2004 was the fourth edition of the conference in theoretical computer science,Machines, Computations and Universality,formerly,Machines etcalculs universels. The rst and the second editions, MCU 1995 and MCU 1998, were organized by Maurice Margenstern, respectively in Paris and in Metz (France). The third edition, MCU 2001, was the rst one to be organized outside France and it was held in Chi¿ sin au (Moldova). Its co-organizers were Maurice Marg- sternandYuriiRogozhin.TheproceedingsofMCU2001werethe rstto appear in Lecture Notes in Computer Science, see LNCS 2055. From its very beginning, the MCU conference has been an international s- enti c event. For the fourth edition, Saint Petersburg was chosen to hold the meeting. The success of the meeting con rmed that the choice was appropriate. MCU 2004 also aimed at high scienti c standards. We hope that this v- ume will convince the reader that this tradition of the previous conferences was also upheld by this one. Cellular automata and molecular computing are well represented in this volume. And this is the case for quantum computing, formal languages and the theory of automata too. MCU 2004 also did not fail its tra- tion to provide our community with important results on Turing machines. Also a new feature of the Saint Petersburg edition was the contributions on analog models and the presence of unconventional models.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Thisisthe rstissueofanewjournaloftheLNCSjournalsubline.Theaimofthe journal is to encourage inter- and multidisciplinary research in the elds of c- puter science and life sciences. The recent paradigmatic shift in biology towards a system view of biological phenomena requires a corresponding paradigmatic shift in the techniques from computer science that can face the new challenges. Classical tools usually used in bioinformatics are no longer up to date and new ideas are needed. The convergence of sciences and technologies we are experiencing these days is changing the classical terms of reference for research activities. In fact clear distinctions between disciplines no longer exist because advances in one eld permit advances in others and vice versa, thus establishing a positive feedback loop between sciences. The potential impact of the convergence of sciences and technologies is so huge that we must consider how to control and correctly drive our future activities. International and national funding agencies are looking at interdisciplinary research as a key issue for the coming years, especially in the intersection of life sciences and information technology. To speed up this process, we surely need to establish relationships between researchers of di erent communities and to de ne a common language that will allow them to exchange ideas and - sults. Furthermore, expectations of di erent communities can be merged only by running activities like common projects and experiences. TheTransactionsonComputationalSystemsBiologycouldbeagoodforumto helplifescientistsandcomputerscientiststodiscusstogethertheircommongoals.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 128 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book presents a coherent and well-balanced survey of recent advances in software engineering approaches to the design and analysis of realistic large-scale multi-agent systems (MAS). The chapters included are devoted to various techniques and methods used to cope with the complexity of real-world MAS. The power of agent-based software engineering is illustrated using examples that are representative of successful applications.The 16 thoroughly reviewed and revised full papers are organized in topical sections on agent methodologies and processes, requirements engineering and software architectures, modeling languages, and dependability and coordination. Most of the papers were initially presented at the 3rd International Workshop on Software Engineering for Large-Scale Multi-agent Systems, SELMAS 2004, held in Edinburgh, UK in May 2004 in association with ICSE 2004. Other papers were invited to complete coverage of all relevant aspects.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -isthemostimportantofthesixconcepts,onethatsupportsalltheothers.Mul- paradigm systems such as Oz provide more choices for notation than sing- paradigm languages.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 352 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was est- lished in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite wo- shops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci c to the satellite events), and several tutorials. We - ceived over 550 submissions to the ve conferences this year, giving acceptance rates below 30% for each one. Congratulations to all the authors who made it to the nal program! I hope that most of the other authors still found a way of participating in this exciting event and I hope you will continue submitting. The events that comprise ETAPS address various aspects of the system devel- ment process, including speci cation, design, implementation, analysis and impro- ment. The languages, methodologies and tools which support these activities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. 540 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci c to the satellite events), and several tutorials. We received over 550 submissions to the ve conferences this year, giving acceptance rates below 30% for each one. Congratulations to all the authors who made it to the nal program! I hope that most of the other authors still found a way of participating in this exciting event and I hope you will continue submitting. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems,andtheemphasisonsoftwareisnotintendedtobeexclusive. 324 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci c to the satellite events), and several tutorials. We received over 550 submissions to the ve conferences this year, giving acceptance rates below 30% for each one. Congratulations to all the authors who made it to the nal program! I hope that most of the other authors still found a way of participating in this exciting event and I hope you will continue submitting. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems,andtheemphasisonsoftwareisnotintendedtobeexclusive.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 396 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci c to the satellite events), and several tutorials. We received over 550 submissions to the ve conferences this year, giving acceptance rates below 30% for each one. Congratulations to all the authors who made it to the nal program! I hope that most of the other authors still found a way of participating in this exciting event and I hope you will continue submitting. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems,andtheemphasisonsoftwareisnotintendedtobeexclusive. 460 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Evolutionary computation (EC) involves the study of problem-solving and op- mization techniques inspired by principles of natural evolution and genetics. EC has been able to draw the attention of an increasing number of researchers and practitioners in several elds. Evolutionary algorithms have in particular been showntobee ectivefordi cultcombinatorialoptimizationproblemsappearing in various industrial, economics, and scienti c domains. This volume contains the proceedings of EvoCOP 2005, the 5th European Conference on Evolutionary Computation in Combinatorial Optimization. It was held in Lausanne, Switzerland, on 30 March¿1 April 2005, jointly with EuroGP 2005, the 8th European Conference on Genetic Programming, and the EvoWorkshops 2005, which consisted of the following six individual workshops: EvoBIO, the 3rd European Workshop on Evolutionary Bioinformatics; Evo- COMNET, the 2nd European Workshop on Evolutionary Computation in C- munication, Networks, and Connected Systems; EvoHOT, the 2nd European Workshop on Hardware Optimisation Techniques; EvoIASP, the 7th European Workshop on Evolutionary Computation in Image Analysis and Signal Proce- ing; EvoMUSART, the 3rd European Workshop on Evolutionary Music and Art; and EvoSTOC, the 2nd European Workshop on Evolutionary Algorithms in Stochastic and Dynamic Environments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume contains the papers presented at the 2nd International Conference on Se- rityinPervasiveComputing(SPC2005)heldApril6¿8,2005inBoppard,Germany.The objective of this second conference was to develop new security concepts for complex application scenarios based on systems like handhelds, phones, smartcards, RFID-chips andsmartlabelshandinhandwiththeemergingtechnologyofubiquitousandpervasive computing. In particular the conference focused on methods and technologies conce- ing the identi cation of risks, the de nition of security policies, and the development of security and privacy measures, especially cryptographic protocols that are related to speci c aspects of ubiquitous and pervasive computing like mobility, location-based services,adhocnetworking,resourceallocation/restriction,invisibility,andsecureha- ware/software platforms. We received 48 submissions. Each submission was reviewed by three independent reviewers and an electronic Program Committee meeting was held via the Internet. We are very grateful to the Program Committee members for their ef ciency in processing the work and also for the quality of their reviews and discussions. Finally the Program Committee decided to accept 14 long papers and 3 short papers. Apart from the Program Committee, we would like to thank also the other persons who contributed to the success of this conference: the additional referees for revi- ing the papers, the authors for submitting the papers, and the local organizers, and in particular Hans-Peter Wagner, for the local organization of the conference in Boppard. SPC 2005 was hosted by the Bundesakademie fur ¿ of ¿ fentlicheVerwaltung of the Federal Ministry of the Interior, and was sponsored by the DFKI and BSI.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -by Roberto Cencioni At the Lisbon Summit in March 2000, European heads of state and government set a new goal for the European Union ¿ to become the most competitive knowled- based society in the world by 2010. As part of this objective, ICT (information and communication technologies) services should become available for every citizen, and for all schools, homes and businesses. The book you have in front of you is about Semantic Web technology and law. Law is something omnipresent; all citizens ¿ at some points in their lives ¿ have to deal with it. In addition, law involves a large group of professionals, and is a mul- billion business world wide. Information technology is important because it that can improve citizens¿ interaction with law, as well as improve legal professionals¿ work environment. Legal professionals dedicate a significant amount of their time to finding, reading, analyzing and synthesizing information in order to take decisions, and prepare advice and trials, amongother tasks. As part of the ¿Semantic-Based Knowledge and Content Systems¿ Strategic Objective, the European Commission is funding projects to construct technology to make the Semantic Web vision come true. 1 The articles in this book are related to two current foci of the Strategic Objective : ¿ Knowledge acquisition and modelling, capturing knowledge from raw information and multimedia content in webs and other distributed repositories to turn poorly structured information into machi- processable knowledge.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Information systems in healthcare and public utility services depend on comp- ing infrastructures. Many research e orts are being made in related areas, such as wireless computing (e. g. , Auto-ID Laboratories, and projects at MIT), W- based computing, and information accesses by Web users. Government agencies in many countries plan to launch facilities in education, healthcare and infor- tion support as a part of e-government initiatives. In this context, information interchange management has become an active research eld. A number of new opportunities have evolved in design and modeling based on new computing needs of users. Database systems play a central role in supporting networked information systems for access and storage management aspects. The4thInternationalWorkshoponDatabasesinNetworkedInformationS- tems (DNIS 2005) was held on March 28¿30, 2005 at the University of Aizu in Japan. The workshop program included research contributions, and invited c- tributions. A view of research activity in Information Interchange Management and related research issues was provided by the session on this topic. The invited contribution was contributed by Dr. Umeshwar Dayal. The workshop session on Web Data Management Systems had invited papers by Prof. Elisa Bertino, Prof. Masahito Hirakawa, and Prof. William I. Grosky. The two sessions on Networked Information Systems included invited contributions by Prof. Sushil Jajodia, Dr. Cyrus Shahabi, Prof. Divyakant Agrawal and Dr. Harumi Kuno. I would like to thank the members of the Program Committee for their support and all authors who considered DNIS 2005 in making research contributions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 332 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The Computational Methods in Systems Biology (CMSB) workshop series was established in 2003 by Corrado Priami. The purpose of the workshop series is to help catalyze the convergence between computer scientists interested in language design, concurrency theory, software engineering or program verification, and physicists, mathematicians and biologists interested in the systems-level understanding of cellular processes. Systems biology was perceived as being increasingly in search of sophisticated modeling frameworks whether for representing and processing syst- level dynamics or for model analysis, comparison and refinement. One has here a clear-cut case of a must-explore field of application for the formal methods developed in computer science in the last decade. This proceedings consists of papers from the CMSB 2003 workshop. A good third of the 24 papers published here have a distinct formal methods origin; we take this as a confirmation that a synergy is building that will help solidify CMSB as a forum for cross-community exchange, thereby opening new theoretical avenues and making the field less of a potential application and more of a real one. Publication in Springer's new Lecture Notes in Bioinformatics (LNBI) offers particular visibility and impact, which we gratefully acknowledge. Our keynote speakers, Alfonso Valencia and Trey Ideker, gave challenging and somewhat humbling lectures: they made it clear that strong applications to systems biology are still some way ahead. We thank them all the more for accepting the invitation to speak and for the clarity and excitement they brought to the conference. 292 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The RECOMB Satellite Workshop on Comparative Genomics (RECOMB-CG) is a forum on all aspects and components of Comparative Genomics ranging from new quantitative discoveries about genome structures and processes to theorems on the complexity of computational problems inspired by genome comparison. Due to the interdiciplinary nature of the workshop, papers could be submitted merely for presentation at the workshop or for presentation at the workshop and publication in the proceedings. Speakers presenting papers of the former category are listed under Selected Presentations below. The workshop was a great success scienti cally as well as socially. I want to thank all participants, the members of the program committee as well as referees and, especially, the excellent invited speakers. October 2004 Jens Lagergren Invited Speakers Mathieu Blanchette (McGill University, Canada) Daniela Delneri (University of Manchester, UK) Henrik Kaessmann (Universit¿ e de Lausanne, Switzerland) Martin Lercher (University of Bath, UK) Bill Martin (Heinrich-Heine Universit¿ at, Germany) Ben Raphael (UCSD, USA) Marie-France Sagot (Universit¿ e Lyon I, France) Graziano Pesole (University of Milan, Italy) Selected Presentations Ali Bashir (UCSD, USA) Inna Dubchak (Lawrence Livermore National Laboratory, USA) Dannie Durand (Carnegie Mellon University, USA) Ron Y.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 144 pp. Englisch.