springer berlin heidelberg sep 2005 (177 risultati)

Taschenbuch. Condizione: Neu. Neuware -Cet ouvrage présente les modèles d'interaction onde-matière faisant intervenir une description quantique de la matière (optique quantique), ainsi que des modèles classiques qui en sont dérivés. L'objectif est de décrypter pour des lecteurs mathématiciens ces modèles habituellement décrits dans des livres de physique et de donner les résultats mathématiques et les méthodes numériques existants. Ces résultats, reflets de sujets de recherche actuels faisant intervenir des outils mathématiques variés, sont détaillés pour être accessibles à des étudiants ayant un niveau DEA. Les parties numériques de ce livre peuvent également intéresser des physiciens désirant effectuer des simulations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Französisch.

Taschenbuch. Condizione: Neu. Neuware -Le but de ce livre est de présenter les développements récents du contrôle géométrique orienté vers la commande (notamment optimale) des véhicules spatiaux. Il est principalement destiné aux étudiants de 3e cycle et aux chercheurs, et son contenu a servi de base à une série de cours de contrôle et d'automatique enseignés à des étudiants de 3e cycle. Il s'appuie sur des projets de recherche avec l'ESTEC et le CNES, sur le contrôle d'attitude d'un satellite, le problème de transfert orbital en temps minimal, et le problème de rentrée atmosphérique d'une navette spatiale. Une première partie est consacrée à une introduction à la mécanique céleste, et la seconde au contrôle des véhicules spatiaux. Un dernier chapitre concerne les méthodes numériques dites indirectes, développées à partir des études des auteurs: méthode de tir et algorithmes de calcul des points conjugués.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Französisch.

Taschenbuch. Condizione: Neu. Neuware -It is our great pleasure to present the proceedings of the 9th IFIP TC-6 TC-11 Conference on Communications and Multimedia Security (CMS 2005), which washeld in Salzburg on September 19¿21,2005.Continuing the tradition of p- vious CMS conferences, we sought a balanced program containing presentations on various aspects of secure communication and multimedia systems. Special emphasis was laid on papers with direct practical relevance for the construction of secure communication systems. The selection of the program was a challenging task. In total, we received 143 submissions, from which 28 were selected for presentation as full papers. In addition to these regular presentations, the CMS conference featured for the rst time a ¿work in progress track¿ that enabled authors to report preliminary results and ongoing work. These papers were presented in the form of a poster sessionduringtheconference;anextendedabstractofthepostersappearsinthis proceedings volume. From all papers submitted to the CMS conference, the p- gramcommitteechose13 submissionsfor inclusionin theworkinprogresstrack. In addition to regular presentations, CMS 2005 featured a special session on XMLsecurity,containingbothcontributedandinvitedtalks.Thisspecialsession was jointly organized by Rudig ¿ er Grimm (TU Ilmenau, Germany) and J¿ org Schwenk (Ruhr-Universit¿ at Bochum, Germany). Their assistance in organizing CMS 2005 was greatly appreciated.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Alexander K. Petrenko . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68 Model-Based Optimization of Enterprise Application and Service Deployment Andr¿ as Balogh, Dan ¿ iel Varro, ¿ Andr¿ as Pataricza . . . . . . . . . . . . . . . . . . . 84 On Best-E ort and Dependability, Service-Orientation and Panacea Aad van Moorsel. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99 Are Service-Oriented Architectures the Panacea for a High-Availability Challenge Guido Laures. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102 Modeling User-Perceived Service Availability Dazhi Wang, Kishor S. Trivedi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The 4th International Conference on Ad-Hoc Networks and Wireless (ADHOC- NOW 2005)was held October 6¿8,2005in Cancun, Mexico. Adhoc Now started as a workshop in 2002 and was held at the Fields Institute in Toronto. In 2003, it was held in Montreal, and in 2004 it was held in Vancouver. 2005 was the rst yearfortheconferencetomoveoutsideofCanada.Thepurposeoftheconference is to create a collaborative forum between mathematicians, computer scientists, and engineers for research in the eld of mobile ad hoc and sensor networks. In 2005, we received over 100 submissions from 22 di erent countries: Australia,Canada,China,France,Germany,Greece,India,Ireland,Italy,Japan, Korea, Malaysia, Mexico, Nepal, Nigeria, Pakistan, Poland, Spain, Sweden, Tunisia, the UK, and the USA ¿ a true international conference. Of the papers submitted, we selected 27 for presentation at the conference and publication in the proceedings. We are grateful to our Technical Program, Organizing, and Steering C- mittees; without their help, expertise, and experiencewe could not haveselected such a ne program. We thank Jorge Urrutia of the Instituto de Matem¿ aticas, Universidad NacionalAut¿ onoma de M¿ exico,and J.J. Garcia-Luna-Acevesof the Computer Engineering Department, University of California, Santa Cruz for - cepting our invitation to speak at the conference. Special thanks are due to the crewfromtheFacultaddeCienciasF¿ sico-Matem¿ aticasUniversidadMichoacana for handling the local arrangements, and to the Mobile Adhoc Research Lab at Arizona State University for handling odd jobs on a moment¿s notice.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -authors of the submittedpapers.Theconferenceprogramwascomplementedwiththreeinvited talks, three extended tutorials, and three all-day workshops.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 468 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -It is our pleasure to present the papers accepted and presented at the 5th Int- national School and Symposium on Advanced Distributed Systems (ISSADS) in this LNCS volume. The symposium was held in the city of Guadalajara,Mexico from January 24 to 28, 2005. The organization team was composed of members of CINVESTAV Guadalajara, Rostock University in Germany, the CUCEI and CUCEA campuses of Guadalajara University, and Instituto Tecnol¿ ogico y de Estudios Superiores de Occidente, ITESO. The symposium is already a we- established annual meeting, at which scientists and people from the industrial eld meet and discuss the progress of applications and the theory of distributed systems in a forum during the last week of January. This year, more than 250 people from 3 continents attended the conference. Most of them are scientists, teachers, students and engineers from the local industry. The papers presented in the sessions of the symposium cover not only the subjects of distributed systems from the system level and applications, but also contributions from the area of theory and arti cial intelligence concepts. These papers were selected out of more than 100 submissions. There was a selection lter in which each paper was evaluated by at least three members of the - ternational Program Committee, who came from research institutions of good reputation all over the world.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 576 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -With SPLC 2005 we celebrated the formation of a new conference series, the International Software Product Line Conference (SPLC) which results from the ¿uni cation¿ of the former series of three SPLC (Software Product Line) Con- rences launched in 2000 in the USA, and the former series of ve PFE (Product Family Engineering) Workshops started in 1996 in Europe. SPLC is nowthe premier forum for the growing community of software p- duct line practitioners, researchers, and educators. SPLC o ers a unique - portunity to present and discuss the most recent experiences, ideas, innovations, trends,andconcernsintheareaofsoftwareproductlineengineering andtobuild aninternationalnetworkofproductlinechampions.AninternationalSPLCSt- ring Committee has been established and it is the wish of this committee that from 2005 on, the SPLC conference will be held yearly in Europe, America, or Asia. The technical program of SPLC 2005 included. ¿ two keynotes from David Weiss (Avaya, USA) and Jan Bosch (Nokia, F- land), both leading experts with academic and industrial insights; ¿ 17 full and 3 short research papers organized around the following themes: feature modeling, re-engineering, strategies, validation, scoping and arc- tecture, and product derivation; ¿ eight experience reports describing commercial application of product line practices; ¿ two panels focused on special topics in product line practice and product line research; ¿ tool demonstrations; ¿ aHallofFamesessionthatcontinuedtheSPLCtraditioninaslightlyrevised format. In addition, the technical program was preceded by a tutorial and workshop day that included ten half-day tutorials presented by well-recognized experts and ve workshops on speci c areas of product line research.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The 9th Italian Conference on Theoretical Computer Science (ICTCS 2005)was held at the Certosa di Pontignano, Siena, Italy, on October 12¿14 2005. The Certosa di Pontignano is the conference center of the University of Siena; it is located 8 km away from the town and it is in the Chianti region. The Certosa is a place full of history (founded in the 15th century, it was set on re a century later and reconstructed) and of valuable artworks, like frescoes of the Scuola Senese. Previous conferences took place in Pisa (1972), Mantova (1974 and 1989), L¿Aquila(1992),Ravello(1995),Prato(1998),Turin(2001)andBertinoro(2003). Theconferenceaimsatbringingtogethercomputerscientists,especiallyyoung researchers, to foster cooperation, exchange of ideas and results. Great e orts have been made to attract researchers from all over the world. The main t- ics of the conference cover all the elds of theoretical computer science and include analysis and design of algorithms, computability, computational c- plexity, cryptography, formal languages and automata, foundations of progr- ming languages and program analysis, foundations of arti cial intelligence and knowledge representation, foundations of web programming, natural computing paradigms (quantum computing, bioinformatics), parallel and distributed c- putation, program speci cation and veri cation, term rewriting, theory of c- currency, theory of data bases, theory of logical design and layout, type theory, security, and symbolic and algebraic computation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.

Buch. Condizione: Neu. Neuware -Models should be as simple as possible, but no simpler. For the physics of polymeric liquids, whose relevant lengths and time scales are out of reach for first principles calculations, this means that we have to choose a minimum set of sufficiently detailed descriptors such as architecture (linear, ring, branched), connectivity, semiflexibility, stretchability, excluded volume, and hydrodynamic interaction. These 'universal' fluids allow the prediction of material properties under external flow- or electrodynamic fields, the results being expressed in terms of reference units, specific for any particular chosen material. This book provides an introduction to the kinetic theory and computer simulation methods needed to handle these models and to interpret the results. Also included are a number of sample applications and computer codes.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -process and the preparation of this volume were done using CyberChairPRO.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 540 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 524 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -review process. Their names may be found overleaf.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains papers presented at the 3rd International Workshop on Mathematical Methods, Models and Architectures for Computer Network - curity (MMM-ACNS 2005) held in St. Petersburg, Russia, during September 25¿27, 2005. The workshop was organized by the St. Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences (SPIIRAS) in cooperation with Binghamton University (SUNY, USA). The 1st and the 2nd International Workshops on Mathematical Methods, Models and Architectures for Computer Network Security (MMM-ACNS 2001 and MMM-ACNS 2003), hosted by the St. Petersburg Institute for Informatics and Automation, demonstrated the keen interest of the international research community in the subject area. It was recognized that conducting a biannual series of such workshops in St. Petersburg stimulates fruitful exchanges between the di erent schools of thought, facilitates the dissemination of new ideas and promotesthespiritofcooperationbetweenresearchersontheinternatio nalscale. MMM-ACNS 2005 provided an international forum for sharing original - search results and application experiences among specialists in fundamental and applied problems of computer network security. An important distinction of the workshop was its focus on mathematical aspects of information and computer network security addressing the ever-increasing demands for secure computing and highly dependable computer networks. 500 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. This book comes as a result of an effort to bring together the research communities of software architectures and dependability. This state-of-the-art survey contains 16 carefully selected papers originating from the Twin Workshops on Architecting Dependable Systems (WADS 2004) accomplished as part of the International Conference on Software Engineering (ICSE 2004) in Edinburgh, UK and of the International Conference on Dependable Systems and Networks (DSN 2004) in Florence, Italy. The papers are organised in topical sections on architectures for dependable services, monitoring and reconfiguration in software architectures, dependability support for software architectures, architectural evaluation, and architectural abstractions for dependability.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 364 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -viewpoint: we received a total number of 79 submitted papers, out of which 21 long contributionsand 18 short contributionswere accepted for presentationat the conf- enceandinclusioninthisvolume.Allpapersreceivedaminimumofthreerevie ws. For the conferenceprogram outside the refereed talks we put emphasis on the - latedtopicsoftoolintegrationandpervasivesystemveri cation.Thedayprecedingthe workingconferencefeaturedhands-ondemonstrationsfornumerousveri cationtools; italsofeaturedatutorialonsystemveri cationbymembersoftheVerisoftproject.The overall program of CHARME 2005 included an invited keynote address by Wolfram B¿ uttner on industrial processor veri cation and a round table discussion about mixed techniquesforverylargehardware-softwaresystemsinitiatedwithaninv itedpresen- tionbyMasaharuImaiandAkiraKitajima. A quality conference such as CHARME results from the work of many people. We wish to thank the membersof the ProgramCommittee and the externalreviewers fortheirhardworkinevaluatingthesubmissionsandinselectinghighqualitypapers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the papers presented at the ¿Conference on Spatial Inf- mationTheory¿,heldinEllicottville,NewYorkinSeptember 2005.COSIT2005 was the 7th International Conference held under the COSIT name. When - drewFrankandhiscolleaguesorganizedthe rstCOSITconferenceontheisland of Elba, Italy, in 1993, it represented the maturing of an international research community that had already met four or ve times in the United States, Spain, and Italy. Of course, cognitive and computational approaches to space and s- tial phenomena werenot themselves new topics,but a contextof providingth- retical underpinning for geographicinformation systems refocused some of these researchers and brought them up against practical and conceptual challenges. A second international symposium under the COSIT name, held in Semmering, Austria in 1995, established COSIT as a biennial conference series that cont- ued at Laurel Highlands, Pennsylvania, USA (1997), Stade, Germany (1999), Morro Bay, California, USA (2001) and Ittingen, Switzerland (2003). A prod- tive partnership with Springer¿s Lecture Notes in Computer Science has ensured that the papers from every COSIT meeting have been widely disseminated, and the COSIT community has contributed signi cantly to the development of G- graphic Information Science, Geoinformatics and Spatial Information Theory in general.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 512 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the proceedings of the 5th International Workshop on Frontiers of Combining Systems (FroCoS 2005) held September 19¿21, 2005 in Vienna, Austria. Previously, FroCoS was organized in Munich (1996), Amst- dam (1998), Nancy (2000) and Santa Margherita Ligure near Genoa (2002). In 2004, FroCoS joined IJCAR 2004, the 2nd International Joint Conference on Automated Reasoning. Like its predecessors, FroCoS 2005 o ered a common forum for the presentation and discussion of research results and activities on the combination, integration, analysis, modularization and interaction of f- mally de ned systems, with an emphasis on logic-based ones. These issues are important in many areas of computer science, such as logic, computation, p- gram development and veri cation, arti cial intelligence, automated reasoning, constraint solving, declarative programming, and symbolic computation. There were 28 research papers submitted to FroCoS 2005, authored by - searchers from 16 countries. After extensive reviewing and discussion within the Program Committee, 14 papers including two system descriptions were nally accepted for presentation at the conference and publication in this volume. The topics covered by the selected papers include: combinations of logics, theories, and decision procedures; constraint solving and programming; combination - sues in rewriting and programmingas well as in logicalframeworks and theorem proving systems. In addition to the regular accepted papers, this volume also contains papers (three full ones and one abstract) corresponding to four invited talks given by Luca de Alfaro (Univ.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -It is with great pleasure and pride that the World Federation for Ultrasound in Medicine and Biology (WFUMB) publishes this ¿Manual of Diagnostic Ultrasound in Infectious and Tropical Diseases¿. This is a book that will satisfy a great need that up to now has been unful lled. Although there are many books that deal with various aspects of ultrasound, this is the only one that deals speci cally with infectious and tropical diseases. It will provide much-needed knowledge and insight in these areas. It will be of especially great value in the teaching of health professionals in those parts of the world where ultrasound is just beginning to be incorporated into patient care. This book has had the good fortune to be conceived and edited by Drs. Lutz and Gharbi. They are excellent physician practitioners of ultrasound with much experience in teaching in the developing world. They have gathered together an outstanding array of chapter authors to create a most valuable book. All of the authors are to be congratulated on a job well done. I trust that readers of this book will bene t from the material contained and will be enabled to provide better medical care to their patients. This is certainly a worthy aim, and one that WFUMB is constantly working to achieve. Marvin C. Ziskin, M.D.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -In this essay we discuss epistemological implications of relativistic quantum field theory. The empirical domain of such a theory is formed by phenomena ascribed to subnuclear particles, sometimes still called elementary particles. This latter more traditional design at ionrejects the lasting desire of physicists to eventually second and isolate irreducible constituents of matter. Going down to the atomic level, electrons appear to play such a role, whereas the nuclei of atoms can be considered as compound systems of protons and neutrons, i. e. of two species of particles. This view makes sense, since the respective number of these two types of constituents essentially identifies an atomic nucleus. Extracted from a nucleus, however, the ¿free¿ neutron is an unstable particle: it decays spontaneously into a proton, an electron and an anti-neutrino. In the past fifty years or so basically the bombardment of matter by protons or by electrons in specially devised experiments has revealed a large variety of further subnuclear objects. Successive generations of accelerators and refined collision devices provided higher and higher collision energies. All theses- nuclear objects are termed ¿particles¿ in the physics community, nearly all of these objects are unstable and decay spontaneously into other ones. The respective lifetimes of the distinct types, however, differ widely, ranging from 3 - 25 relatively long(10 sec) to extremely short(10 sec). Because of this huge disparity in lifetime the notion of a particle deserves particular attention, a point laid stress on in our consideration. The study of the physical behaviour of these subnuclear particles led to distinguish three types of interactions: the strong, the electromagnetic and the weak interaction. As the names suggest these interactions differ in their respective strength.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 72 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the papers presented at the 16th Annual International Conference on Algorithmic Learning Theory (ALT 2005), which was held in S- gapore (Republic of Singapore), October 8¿11, 2005. The main objective of the conference is to provide an interdisciplinary forum for the discussion of the t- oretical foundations of machine learning as well as their relevance to practical applications. The conference was co-located with the 8th International Conf- enceonDiscoveryScience(DS2005). Theconferencewasalsoheldinconjunction with the centennial celebrations of the National University of Singapore. The volume includes 30 technical contributions, which were selected by the program committee from 98 submissions. It also contains the ALT 2005 invited talks presented by Chih-Jen Lin (National Taiwan University, Taipei, Taiwan) on ¿Training Support Vector Machines via SMO-type Decomposition Methods,¿ and by Vasant Honavar (Iowa State University, Ames, Iowa, USA) on ¿Al- rithmsandSoftwareforCollaborativeDiscoveryfromAutonomous,Semantically Heterogeneous, Distributed, Information Sources. ¿ Furthermore, this volume - cludes an abstract of the joint invited talk with DS 2005 presented by Gary L. Bradshaw (Mississippi State University, Starkville, USA) on ¿Invention and Arti cial Intelligence,¿ and abstracts of the invited talks for DS 2005 presented by Ross D. King (The University of Wales, Aberystwyth, UK) on ¿The Robot Scientist Project,¿ and by Neil Smalheiser (University of Illinois at Chicago, Chicago, USA) on ¿The Arrowsmith Project: 2005 Status Report. ¿ The c- plete versions of these papers are published in the DS 2005 proceedings (Lecture Notes in Computer Science Vol. 3735).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 508 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The 2nd Workshop on Intelligent Media Technology for Communicative Intelligence commemorating the 10th anniversary of the Polish-Japanese Institute of Information Technology in Warsaw aimed to explore the current research topics in the eld of int- ligent media technologies for communicative intelligence. Communicative intelligence represents a new challenge towards building a sup- intelligence on the ubiquitous global network by accumulating a huge amount of - man andknowledgeresources.The term 'communicativeintelligence're ects the view that communication is at the very core of intelligence and its creation. Communication permits novel ideas to emerge from intimate interactions by multiple agents, ranging from collaboration to competition. The recent advance of information and commu- cation technologies has established an information infrastructure that allows humans and artifacts to communicate with each other beyond space and time. It enables us to advance a step further to realize a communicative intelligence with many fruitful applications. Intelligentmediatechnologiesattempttocaptureandaugmentpeople¿scommuni - tive activities by embedding computers into the environment to enhance interactions in an unobtrusive manner. The introduction of embodied conversational agents that might mediate conversations among people in a social context is the next step in the p- cess. The scope of intelligent media technologies includes design and development of intelligent supports for content production, distribution, and utilization, since rich c- tent is crucial for communication in many applications. The promising applications of intelligence media technologies include e-learning, knowledge management systems, e-democracy, and other communication-intensivesubject domains. 276 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -extremes can be considered as intermediately cooperative. Our conference addressed the common and speci c issues of all of them.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Starting with Napster and Gnutella, peer-to-peer systems became an integrated part of the Internet fabric attracting millions of users. According to recent evaluations, peer-to-peer traffic now exceeds Web traffic, once the dominant traffic on the Internet. While the most popular peer-to-peer applications remain file sharing and content distribution, new applications such as Internet telephony are emerging.Within just a few years, the huge popularity of peer-to-peer systems and the explosion of peer-to-peer research have created a large body of knowledge, but this book is the first textbook-like survey to provide an up-to-date and in-depth introduction to the field.This state-of-the-art survey systematically draws together prerequisites from various fields, presents techniques and methodologies in a principled and coherent way, and gives a comprehensive overview on the manifold applications of the peer-to-peer paradigm. Leading researchers contributed their expert knowledge to this book, each in his/her own specific area.Lecturers can choose from the wide range of 32 tightly integrated chapters on all current aspects of P2P systems and applications, and thus individually tailor their class syllabi. R&D professionals active in P2P will appreciate this book as a valuable source of reference and inspiration.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 664 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2005, held in Fredrikstad, Norway, in September 2005.The 30 revised full papers were carefully reviewed and selected for inclusion in the book. The papers address all aspects of dependability and survivability of critical computerized systems in various branches and infrastructures. 424 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The Fourth International Conference on Unconventional Computation, UC 2005, organized under the auspices of EATCS by the Centre for Discrete Mathematics and Theoretical Computer Science and the Department of C- puter Science and Arti cial Intelligence of the University of Seville, was held in Seville, October 3¿7, 2005. Seville, one of the most beautiful cities in Spain, is at its best in October. An explosion of colour and contrast: amenco, bull ghting, and a lively at- sphere in the streets due to the open and friendly nature of its people. The river Guadalquivir, the Cathedral and the Golden Tower are all places full of magic where the visitor can feel the spirit of a city which is eternally romantic. The series of International Conferences Unconventional Computation (UC),https://cs.auckland.ac.nz/CDMTCS/conferences/uc/isdevoted to all aspects of unconventional computation, theory as well as experiments and applications. Typical, but not exclusive, topics are: natural computing including quantum, cellular,molecular, neural and evolutionarycomputing; chaosand - namical systems based computing; and various proposals for computations that go beyond the Turing model. The rst venue of the Unconventional Computation Conference (formerly called Unconventional Models of Computation) was Auckland, New Zealand in 1998; subsequent sites of the conference were Brussels, Belgium in 2000 and Kobe, Japan in 2002. The titles of the proceedings volumes from past UC Conferences are as follows: 1. C.S. Calude, J. Casti, M.J. Dinneen (eds.). Unconventional Models of C- putation, Springer-Verlag, Singapore, 1998, viii + 426 pp. ISBN: 981-3083- 69-7.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Component-based software development is the next step after object-oriented programmingthatpromisesto reducecomplexityandimprovereusability.These advantages have also been identi ed by the industry, and consequently, over the past years, a large number of component-based techniques and processes have been adopted in many of these organizations. A visible result of this is the number ofcomponentmodels thathavebeendevelopedandstandardized.These models de ne how individual software components interact with each other and simplify the design process of software systems by allowing developers to choose from previously existing components. The development of component models is a rst step in the right direction, but there are many challenges that cannot be solved by the development of a new component model alone. Such challengesare the adaptation of components, and their development and veri cation. Software Composition is the premiere workshop to advance the research in component-based software engineering and its related elds. SC 2005 was the fourth workshop in this series. As in previous years, SC 2005 was organized as an event co-located with the ETAPS conference. This year¿s program consisted of a keynote on the revival of dynamic l- guages given by Prof. Oscar Nierstrasz and 13 technical paper presentations (9 full and 4 short papers). The technical papers were carefully selected from a total of 41 submitted papers. Each paper was thoroughly peer reviewed by at leastthreemembers oftheprogramcommittee andconsensusonacceptancewas achieved by means of an electronic PC discussion. This LNCS volume contains the revised versions of the papers presented at SC 2005.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 210 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the revised lecture notes corresponding to nine of the lecturecoursespresentedatthe5thInternationalSchoolonAdvancedFunctional Programming, AFP 2004, held in Tartu, Estonia, August 14¿21, 2004. The goal of the AFP schools is to inform the wide international communities of computer science students and software production professionals about the new and important developments in the area of functional programming. The schools put a special emphasis on practical applications of advanced techniques. The Tartu school was preceded by four earlier schools in B astad, Sweden (1995, LNCS 925), Olympia, WA, USA (1996, LNCS 1129), Braga, Portugal (1998, LNCS 1608) and Oxford, UK (2002, LNCS 2638). The scienti c programme of AFP 2004 consisted of ve preparatory (¿- termediate¿) courses, given by John Hughes (Chalmers University of Techn- ogy, Goteb ¿ org, Sweden), Doaitse Swierstra (Universiteit Utrecht, The Neth- lands)andRinusPlasmeijer(RadboudUniversiteitNijmegen,TheNetherlands), and nine regular (¿advanced¿) courses, presented by Atze Dijkstra (Universiteit Utrecht, The Netherlands), Doaitse Swierstra, John Hughes, Conor McBride (University of Nottingham, UK), Alberto Pardo (Universidade de la Republica, ¿ Montevideo, Uruguay), Rinus Plasmeijer, Bernard Pope (University of M- bourne, Australia), Peter Thiemann (Universit¿ at Freiburg, Germany), and - mon Thompson (University of Kent, UK). There was also a student session. The school attracted a record number of 68 participants from 16 countries (inclusive of the lecturers and organizers).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 376 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume constitutes the proceedings of the 11th International Workshop on Groupware (CRIWG 2005). The conference was held in Porto de Galinhas (Recife), Brazil. The previous ten CRIWG workshops were organized in Lisbon, Portugal (1995), Puerto Varas, Chile (1996), El Escorial, Spain (1997), Buzios, Brazil (1998), Cancun, Mexico (1999), Madeira, Portugal (2000), Darmstadt, Germany(2001),La Serena,Chile (2002),Autrans, France(2003),and San C- los, Costa Rica (2004). CRIWG workshops follow a simple recipe for success: good papers, a relatively small number of attendees, extensive time for lively and constructive discussions, and a high level of cooperation both within and between paper sessions. CRIWG 2005 continued this tradition. This 11th CRIWG exempli ed the continuing interest in the groupware - searcharea.Groupwareresearchersfrom 16 di erent countriessubmitted a total of67papers.Eachofthe67paperswasreviewedbyatleastthreemembersofa n internationally renowned Program Committee, using a double-blind reviewing process. Based on the reviewers¿ recommendations 29 papers were nally - cepted: 16 long papers presenting mature work, and 13 short papers describing workinprogress.Theacceptedpapersweregroupedinto8themesthatrepresent current areas of interest in groupware research: groupware development, coll- orative applications, work owmanagement, knowledge management, comput- supported collaborativelearning,groupdecision support systems,mobile coll- orativework,andworkmodeling inCSCW. In addition,wewerepleasedto have Gerry Stahl from Drexel University in Philadelphia, USA, a renowned specialist in CSCL, as keynote speaker.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 396 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The message passing paradigmis the most frequently used approachto devel- ing high performance computing applications on parallel and distributed c- puting architectures.The ParallelVirtual Machine (PVM) and Message Passing Interface (MPI) are the two main representatives in this domain. This volume comprises 61 selected contributions presented at the 12th European PVM/MPI Users¿ Group Meeting, which was held in Sorrento, Italy, September 18¿21, 2005. The conference was organized by the Dipartimento di Ingegneria dell¿Informazione of the Second University of Naples, Italy in coll- oration with CREATE and the Institute of Graphics and Parallel Processing (GUP) of the Johannes Kepler University Linz, Austria. The conference was previously held in Budapest, Hungary (2004), Venice, Italy (2003), Linz, Austria (2002), Santorini, Greece (2001), Balatonfur ¿ ed, Hungary (2000), Barcelona, Spain (1999), Liverpool, UK (1998), and Krakow, Poland (1997). The rst three conferences were devoted to PVM and were held in Munich, Germany (1996), Lyon, France (1995), and Rome, Italy (1994). In its twelfth year, this conference is well established as the forum for users and developers of PVM, MPI, and other message passing environments. Int- actions between these groups have proved to be very useful for developing new ideas in parallel computing, and for applying some of those already existent to new practical elds. The main topics of the meeting were evaluation and p- formance of PVM and MPI, extensions, implementations and improvements of PVMandMPI,parallelalgorithmsusing the messagepassingparadigm,parallel applications in science and engineering, and cluster and grid computing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 564 pp. Englisch.