springer berlin heidelberg jun 2009 (79 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -Welcome to the Third International Conference on Information Security and Ass- ance (ISA 2009). ISA 2009 was the most comprehensive conference focused on the various aspects of advances in information security and assurance. The concept of security and assurance is emerging rapidly as an exciting new paradigm to provide reliable and safe life services. Our conference provides a chance for academic and industry professionals to discuss recent progress in the area of communication and networking including modeling, simulation and novel applications associated with the utilization and acceptance of computing devices and systems. ISA 2009 was a succ- sor of the First International Workshop on Information Assurance in Networks (IAN 2007, Jeju-island, Korea, December, 2007), and the Second International Conference on Information Security and Assurance (ISA 2008, Busan, Korea, April 2008). The goal of this conference is to bring together researchers from academia and industry as well as practitioners to share ideas, problems and solutions relating to the multifaceted aspects of information technology. ISA 2009 contained research papers submitted by researchers from all over the world. In order to guarantee high-quality proceedings, we put extensive effort into reviewing the papers. All submissions were peer reviewed by at least three Program Committee members as well as external reviewers. As the quality of the submissions was quite high, it was extremely difficult to select the papers for oral presentation and publication in the proceedings of the conference.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 140 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume constitutes the refereed proceedings of the Third International Conference on Internationalization, Design and Global Development, IDGD 2009, held in San Diego, CA, USA, in July 2009 in the framework of the 13th International Conference on Human-Computer Interaction, HCII 2009 with 10 other thematically similar conferences.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 548 pp. Englisch.

Buch. Zustand: Neu. Neuware -On this Textbook This book has evolved from the series of lecture notes that I had handed out to the physics students at the University of Regensburg in Bavaria,Germany. Overtheyears,variousbitsandpieceshadbeenaddedtothecontentsoft hese lecture notes, and others had to be left out for reasons of time limitations. These notes di ered from the common textbooks, and as the students seemed to like them, I have collected all those pieces in this book. The Scope of this Book The scope of this book is twofold. The reader can learn that alternative sets of the very few principles of Classical Mechanics carry on very far. Thus, the book contains an amount of applications of varying degrees of sophistication. Also, di erent physical problems require di erent methods for their solutions with varying degrees of mathematical sophistication. The Organization of this Book In order not to blur the physics with mathematical intricacies, the necessary mathematical techniques are transferred to appendices. The largest di erence of this textbook from other books on Classical - chanics may be that I have tried to make a particularly strong separation between axioms and fundamental experiences, on the one hand, and between claims, their proofs, various comments, on the other, rather than telling a more or less continuous story. Also, frequent references are made to other parts of the book or to other physical disciplines. If needed, the reader can skip proofs, comments, applications, and footnotes and thus follow only the main ideas.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 428 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 7th International Conference On Smart Homes and and Health Telematics, ICOST 2009, held in Tours, France, in July 2009. The 27 revised full papers and 20 short papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cognitive assistance and chronic diseases management; ambient living systems; service continuity and context awareness; user modeling and human-machine interaction; ambient intelligence modeling and privacy issues, human behavior and activities monitoring. 328 pp. Englisch.

Buch. Zustand: Neu. Neuware -In a rst approximation, certainly rough, one can de ne as non-crystalline materials those which are neither single-crystals nor poly-crystals. Within this category, we canincludedisorderedsolids,softcondensed matter,andlivesystemsamong others. Contrary to crystals, non-crystalline materials have in common that their intrinsic structures cannot be exclusively described by a discrete and periodical function but by a continuous function with short range of order. Structurally these systems have in common the relevance of length scales between those de ned by the atomic and the macroscopic scale. In a simple uid, for example, mobile molecules may freely exchange their positions, so that their new positions are permutations of their old ones. By contrast, in a complex uid large groups of molecules may be interc- nected so that the permutation freedom within the group is lost, while the p- mutation between the groups is possible. In this case, the dominant characteristic length, which may de ne the properties of the system, is not the molecular size but that of the groups. A central aspect of some non-crystalline materials is that they may self-organize. This is of particular importance for Soft-matter materials. Self-organization is characterized by the spontaneous creation of regular structures at different length scales which may exhibit a certain hierarchy that controls the properties of the system. X-ray scattering and diffraction have been for more than a hundred years an essential technique to characterize the structure of materials. Quite often scattering anddiffractionphenomenaexhibitedbynon-crystallinematerialshavebeenreferred to as non-crystalline diffraction.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -These proceedings contain a selection of refereed papers presented at or - lated to the Annual Workshop of the TYPES project (EU coordination action 510996), which was held during March 26¿29, 2008 in Turin, Italy. The topic of this workshop, and of all previous workshops of the same project, was f- mal reasoning and computer programming based on type theory: languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certi ed software, mobile code, formali- tion of mathematics, mathematics education. The workshop was attended by more than 100 researchers and included more than 40 presentations. We also had three invited lectures, from A. Asperti (University of Bologna), G. Dowek (LIX, Ecole polytechnique, France) and J. W. Klop (Vrije Universiteit, A- terdam, The Netherlands). From 27 submitted papers, 19 were selected after a reviewing process. Each submitted paper was reviewed by three referees; the nal decisions were made by the editors. This workshop is the last of a series of meetings of the TYPES working group funded by the European Union (IST project 29001, ESPRIT Working Group 21900, ESPRIT BRA 6435). 332 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -papers presented in this volume deal with problems related to bioinformatics applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -On behalf of the PROFES Organizing Committee we are proud to present the proce- th ings of the 10 International Conference on Product Focused Software Process - provement (PROFES 2009), held in Oulu, Finland. Since the first conference in 1999, the conference has established its place in the software engineering community as a respected conference that brings together participants from academia and industry. The roots of PROFES are in professional software process improvement motivated by product and service quality needs. The conference addresses both the solutions found in practice as well as relevant research results from academia. To ensure that PROFES retains its high quality and focus on the most relevant research issues, the conference has actively maintained close collaboration with industry and sub- quently widened its scope to the research areas of collaborative and agile software development. A special focus for 2009 was placed on software business to bridge research and practice in the economics of software engineering. This enabled us to cover software development in a more comprehensive manner and tackle one of the most important current challenges identified by the software industry and software research community ¿ namely, the shift of focus from ¿products¿ to ¿services. ¿ The current global economic downturn emphasizes the need for new methods and so- tions for fast and business-oriented development of products and services in a gl- ally distributed environment. 460 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 9th International Conference on Web Engineering, ICWE 2009, held in San Sebastian, Spain in June 2009. The 22 revised full papers and 15 revised short papers presented together with 8 posters and 10 demonstration papers were carefully reviewed and selected from 90 submissions. The papers are organized in topical sections on accessibility and usability, component-based web engineering: portals and mashups, data and semantics, model-driven web engineering, navigation, process, planning and phases, quality, rich internet applications, search, testing, web services, SOA and REST, and web 2.0.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 556 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The 14th International Conference on Implementation and Application of - tomata (CIAA 2009) was held in NICTA¿s Neville Roach Laboratory at the University of New South Wales, Sydney, Australia during July 14¿17, 2009. This volume of Lecture Notes in Computer Science contains the papers that were presented at CIAA 2009, as well as abstracts of the posters and short papers that were presented at the conference. The volume also includes papers orextendedabstractsofthethreeinvitedtalkspresentedbyGonzalo Navarro on ImplementationandApplicationofAutomatainStringProcessing,byChristoph Koch on Applications of Automata in XML Processing,and by Helmut Seidl on Program Analysis Through Finite Tree Automata. The 23 regular papers were selected from 42 submissions covering various elds in the application, implementation, and theory of automata and related structures. This year, six additional papers were selected as ¿short papers¿; at the conference these were allocated the same presentation length as r- ular papers. Each paper was reviewed by at least three Program Committee members, with the assistance of external referees. Papers were submitted by - thors from the following countries: Australia, Austria, Belgium, Brazil, Canada, China, Czech Republic, Finland, France, Germany, India, Italy, Republic of - rea,Japan,Latvia,TheNetherlands,Portugal,RussianFederation,Spain,South Africa, Turkey, United Arab Emirates, and the USA.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -For the past 20 years the TOOLS conferences have continuously spread new technologies in the world of object-orientation, component technology and so- ware engineering in general. They constitute a particularly important forum for software researchers and practitioners to present work that relies on producing tools. This year¿s TOOLS continued the tradition and presented a strong program thatincluded originalcontributionsin allmajor elds ofthe object-orientedp- adigm. As in TOOLS 2008, the concept of model occupied a considerable place; but other topics such as re ection,aspects, modelling languages,debugging,and virtual machines design were also strongly represented. While most conferences had a decrease in the number of submitted papers, TOOLS made the choice of quality and decided to lower its acceptance rate to 25%,asa xedmaximumannouncedin the Callfor Papers.Out of67submitted contributions, the reviewing process led to the selection of 17 as full papers. For the rst time, two short papers were also accepted for presentation at the conference.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 384 pp. Englisch.

Buch. Zustand: Neu. Neuware -Interactive data supports organizations to communicate effectively with their stakeholders and partners on the Internet and the World Wide Web. XBRL (eXtensible Business Reporting Language) is a key enabling technology for interactive data. XBRL links organizations and knowledge consumers in a variety of information value chains. XBRL is now in use in many countries and important settings. This book provides, for the first time, an in-depth analysis of XBRL. Thorough and up-to-date, this book explains the most popular constructs in XML, on which XBRL builds, and XBRL. The book provides business and policy makers, technologists and information engineers with an essential toolkit to understand the complete implementation of XBRL. The book begins with an overview of the business case for interactive data and XBRL. There is an introduction to XML and XBRL and the design and construction of XBRL taxonomies including extensions and multi-dimensional XBRL implementations. It provides a detailed analysis of the interaction of instance documents and taxonomies. The book also provides a synopsis of the most current XBRL technologies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The fth edition of the European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA 2009) was dedicated to furthering the state of knowledge and fostering the industrialization of Model-Driven - chitecture (MDA) and Model-Driven Engineering (MDE). MDA is an initiative proposed by the Object Management Group for platform-generic systems - velopment; MDA is one of a class of approaches under the umbrella of MDE. MDE and MDA promote the use of models in the speci cation, design, analysis, synthesis, deployment, and evolution of complex software systems. It is a pleasure to be able to introduce the proceedings of ECMDA-FA 2009. ECMDA-FA 2009 addressed various MDA areas including model transfor- tions, modelling language issues, modelling of behavior and time, traceability and scalability, model-basedembedded systems engineering,and the application of model-driven development to IT and networking systems. ECMDA-FA 2009 focused on engaging key European and international - searchers and practitioners in a dialogue which will result in a stronger, more e cientindustry,producingmorereliablesoftwareonthebasisofstate-of-the-art research results. ECMDA-FA is a forum for exchanging information, discussing the latest results and arguing about future developments of MDA and MDE. Particularly, it is one of the few venues that engages both leading academic researchers and industry practitioners, with the intent of creating synergies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 352 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -SEAFOOD 2009: Enabling Global Partnerships to Deliver on Business Needs Companies have been outsourcing areas of software development work for many years, either because of the engineering challenges or because the outsourced aspect is not central to their core business. A profound transformation has been a ecting this model over recent years: a massive transfer of development - tivities from the USA and Europe to a skilled labor force in service-providing countries. This transformation has been driven by the demands of a global bu- ness climate seeking to increase the value delivery of IT investment. However, the ability to realize this value can prove problematic in practice. Of particular concern are the hidden costs of globally distributed models of working, such as understanding and communicating the true business needs across organizational and cultural boundaries. To address such issues, o shore outsourcing requires di erent support from in-housedevelopmentandthismeansadaptingfamiliartechniques,processesand tools to this setting, as well as perhaps creating innovative new ones. Coupled with this industry transformation there is hence a pressing need to re-examine thosesoftwareengineeringapproachesthateither facilitate orimpede this model of working. With an inevitable focus on the economy in 2009, business decisions regarding the sourcing of software development projects will come under close scrutiny. It will become increasingly critical to design global partnerships that both clarify cost/bene ts and enable delivery on business needs. 148 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Majoreconomicupheavalscanhavethesortofe ectthatSchumpeterforesaw60 yearsagoascreativedestruction.Inscienceandtechnology,equivalentupheavals resultfromeitherscienti crevolutions(asobservedbyKuhn)ortheintroduction of what Christensen calls disruptive technologies. And in software engineering, there has been no technology more disruptive than outsourcing. That it should so quickly reach maturity and an unparalleled scale is truly remarkable; that it should now be called to demonstrate its sustainability in the current nancial turmoil is the challenge that will prove whether and how it will endure. Early signs under even the bleak market conditions of the last 12 months are that it will not only survive, it will rmly establish its role across the world of business. Outsourcing throws into sharp focus the entire software engineering life- cle. Topics as diverse as requirements analysis, concurrency and model-checking need to nd a composite working partnership in software engineering practice. This con uence arises from need, not dogma, and the solutions required are those that will have the right e ect on the associated activities in the world of the application: e.g., reducing the time for a transaction or making the results of a complex analysis available in real-time. While the business of outsourcing continues to be studied, the engineering innovations that make it compelling are constantly changing. It is in this milieu that this series of conferences has placed itself. 224 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 8th International Conference on Case-Based Reasoning, ICCBR 2009, held in Seattle, WA, USA, in July 2009. The 17 revised full papers and 17 revised poster papers presented together with 2 invited talks were carefully reviewed and selected from 55 submissions. Covering a wide range of CBR topics of interest both to practitioners and researchers, the papers are devoted to theoretical/methodological as well as to applicative aspects of current CBR analysis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 544 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This Festschrift volume, published in honor of John Mylopoulos on the occasion of his retirement from the University of Toronto, contains 25 high-quality papers, written by leading scientists in the field of conceptual modeling.The volume has been divided into six sections. The first section focuses on the foundations of conceptual modeling and contains material on ontologies and knowledge representation. The four sections on software and requirements engineering, information systems, information integration, and web and services, represent the chief current application domains of conceptual modeling. Finally, the section on implementations concentrates on projects that build tools to support conceptual modeling. With its in-depth coverage of diverse topics, this book could be a useful companion to a course on conceptual modeling.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 532 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -How can our societies be stabilized in a crisis Why can we enjoy and understand Shakespeare Why are fruitflies uniform How do omnivorous eating habits aid our survival What makes the Mona Lisäs smile beautiful How do women keep our social structures intact ¿ Could there possibly be a single answer to all these questions This book shows that the statement: 'weak links stabilize complex systems' provides the key to understanding each of these intriguing puzzles, and many others too. The author (recipient of several distinguished science communication prizes) uses weak (low affinity, low probability) interactions as a thread to introduce a vast variety of networks from proteins to economics and ecosystems. Many people, from Nobel Laureates to high-school students have helped to make the book understandable to all interested readers. This unique book and the ideas it develops will have a significant impact on many, seemingly diverse, fields of study.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.

Buch. Zustand: Neu. Neuware -Nowadays, there is software everywhere in our life. It controls cars, airplanes, factories, medical implants. Without software, banking, logistics and transportation, media, and even scientific research would not function in the accustomed way. Building and maintaining software is a knowledge-intensive endeavour and requires that specific experiences are handled successfully. However, neither knowledge nor experience can be collected, stored, and shipped like physical goods, instead these delicate resources require dedicated techniques. Knowledge and experience are often called company assets, yet this is only part of the truth: it is only software engineers and other creative employees who will effectively exploit an organisation's knowledge and experience.Kurt Schneider¿s textbook is written for those who want to make better use of their own knowledge and experience ¿ either personally or within their group or company. Everyone related to software development will benefit from his detailed explanations and case studies: project managers, software engineers, quality assurance responsibles, and knowledge managers. His presentation is based on years of both practical experience, with companies such as Boeing, Daimler, and Nokia, and research in renowned environments, such as the Fraunhofer Institute. Each chapter is self-contained, it clearly states its learning objectives, gives in-depth presentations, shows the techniques¿ practical relevance in application scenarios, lists detailed references for further reading, and is finally completed by exercises that review the material presented and also challenge further, critical examinations. The overall result is a textbook that is equally suitable as a personal resource for self-directed learning and as the basis for a one-semester course on software engineering and knowledge management.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The two-volume set LNCS 5601 and LNCS 5602 constitutes the refereed proceedings of the Third International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2009, held in Santiago de Compostela, Spain, in June 2009. The 108 revised papers presented are thematically divided into two volumes. The first volume includes papers relating the most recent collaborations with Professor Mira and contributions mainly related with theoretical, conceptual and methodological aspects linking AI and knowledge engineering with neurophysiology, clinics and cognition. The second volume contains all the contributions connected with biologically inspired methods and techniques for solving AI and knowledge engineering problems in different application domains.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 556 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the Third International Frontiers of Algorithmics Workshop, FAW 2009, held in Hefei, Anhui, China, in June 2009. The 33 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 87 submissions. The papers are organized in topical sections on graph algorithms; game theory with applications; graph theory, computational geometry; machine learning; parameterized algorithms, heuristics and analysis; approximation algorithms; as well as pattern recognition algorithms, large scale data mining.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains the papers presented at SAT 2009: 12th International Conference on Theory and Applications of Satis ability Testing, held from June 30 to July 3, 2009 in Swansea (UK). The International Conference on Theory and Applications of Satis ability Testing (SAT) started in 1996 as a series of workshops, and, in parallel with the growthof SAT, developedinto the main eventfor SAT research. This year¿sc- ference testi ed to the strong interest in SAT, regarding theoretical research,- searchonalgorithms,investigationsintoapplications,anddevelopmentofsolvers and software systems. As a core problem of computer science, SAT is central for many research areas, and has deep interactions with many mathematical s- jects. Major impulses for the development of SAT came from concrete practical applications as well as from fundamental theoretical research. This fruitful c- laboration can be seen in virtually all papers of this volume. There were 86 submissions (completed papers within the scope of the c- ference). Each submission was reviewed by at least three, and on average 4. 0 Programme Committee members. The Committee decided to accept 45 papers, consisting of 34 regular and 11 short papers (restricted to 6 pages). A main n- elty was a ¿shepherding process¿, where 29% of the papers were accepted only conditionally, and requirements on necessary improvements were formulated by the ProgrammeCommittee and its installment monitored by the ¿shepherd¿ for thatpaper(using possibly severalroundsoffeedback).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 556 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Similarity-based learning methods have a great potential as an intuitive and exible toolbox for mining, visualization,and inspection of largedata sets. They combine simple and human-understandable principles, such as distance-based classi cation, prototypes, or Hebbian learning, with a large variety of di erent, problem-adapted design choices, such as a data-optimum topology, similarity measure, or learning mode. In medicine, biology, and medical bioinformatics, more and more data arise from clinical measurements such as EEG or fMRI studies for monitoring brain activity, mass spectrometry data for the detection of proteins, peptides and composites, or microarray pro les for the analysis of gene expressions. Typically, data are high-dimensional, noisy, and very hard to inspect using classic (e. g. , symbolic or linear) methods. At the same time, new technologies ranging from the possibility of a very high resolution of spectra to high-throughput screening for microarray data are rapidly developing and carry thepromiseofane cient,cheap,andautomaticgatheringoftonsofhigh-quality data with large information potential. Thus, there is a need for appropriate - chine learning methods which help to automatically extract and interpret the relevant parts of this information and which, eventually, help to enable und- standingofbiologicalsystems,reliablediagnosisoffaults,andtherapyofdiseases such as cancer based on this information. Moreover, these application scenarios pose fundamental and qualitatively new challenges to the learning systems - cause of the speci cs of the data and learning tasks. Since these characteristics are particularly pronounced within the medical domain, but not limited to it and of principled interest, this research topic opens the way towardimportant new directions of algorithmic design and accompanying theory.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -These proceedings are a record of the Multiple Classi er Systems Workshop, MCS 2009, held at the University of Iceland, Reykjavik, Iceland in June 2009. Being the eighth in a well-established series of meetings providing an inter- tional forum for the discussion of issues in multiple classi er system design, the workshop achieved its objective of bringing together researchers from diverse communities (neural networks,pattern recognition,machine learning and stat- tics) concerned with this research topic. From more than 70 submissions, the Program Committee selected 54 papers to create an interesting scienti c program. The special focus of MCS 2009 was on the application of multiple classi er systems in remote sensing. This part- ular application uses multiple classi ers for raw data fusion, feature level fusion and decision level fusion. In addition to the excellent regular submission in the technical program, outstanding contributions were made by invited speakers Melba Crawford from Purdue University and Zhi-Hua Zhou of Nanjing Univ- sity. Papers of these talks are included in these workshop proceedings. With the workshop¿sapplicationfocusbeingonremotesensing,Prof.Crawford¿sexpertise in the use of multiple classi cation systems in this context made the discussions on this topic at MCS 2009 particularly fruitful.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 556 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Although the self-adaptability of systems has been studied in a wide range of disciplines, from biology to robotics, only recently has the software engineering community recognized its key role in enabling the development of future software systems that are able to self-adapt to changes that may occur in the system, its requirements, or the environment in which it is deployed.The 12 carefully reviewed papers included in this state-of-the-art survey originate from the International Seminar on Software Engineering for Self-Adaptive Systems, held in Dagstuhl Castle, Germany, in January 2008. They examine the current state-of-the-art in the field, describing a wide range of approaches coming from different strands of software engineering, and present future challenges facing this ever-resurgent and challenging field of research. Also included in this book is an invited roadmap paper on the research challenges facing self-adaptive systems within the area of software engineering, based on discussions at the Dagstuhl Seminar and put together by several of its participants. The papers have been divided into topical sections on architecture-based self-adaptation, context-aware and model-driven self-adaptation, and self-healing. These are preceded by three research roadmap papers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Workshop on Engineering Societies in the Agents World, ESAW 2008, held in Saint-Etienne, France, in September 2008. The 13 revised full papers presented together with 1 invited long paper were carefully selected from 29 submissions during two rounds of reviewing and revision. The papers are organized in topical sections on organisations and norm-governed systems, privacy and security, agent-oriented software engineering, emergence and self-organisation, as well as simulation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 30th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2009, held in Paris, France, in June 2009. The 19 revised papers classified as theory papers (13), application papers (1), and tool papers (5) were carefully reviewed and selected from 46 submissions. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed, novel tools as well as substantial enhancements to existing tools are presented. 368 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains the proceedings of the 16th International SPIN Workshop on Model Checking of Software (SPIN 2009), that was held at the Grenoble World Trade Center, in Grenoble, France, June 26¿28, 2009. The workshop was co-located with the 21st International Conference on Computer-Aided Veri - tion (CAV 2009). The SPIN workshopis a forum for practitioners and researchersinterested in themodelchecking-basedanalysisofsoftwaresystems.Thefocusoftheworkshop is on theoretical advances and empirical evaluations related to state-space and path exploration techniques, as implemented in the SPIN model checker and other software veri cation tools. The workshop aims to encourage interactions and exchanges of ideas with all related areasin software engineering. SPIN 2009 was the 16th event in the workshop series, which started in 1995. This year,wereceived41 submissions (34technical papersand 7 toolpapers) out of which 18 papers were accepted (15 technical papers and 3 tool papers). Each submission was reviewed by three Program Committee members. In addition to the refereed papers, the workshop featured four invited talks given by Patrice Godefroid, from Microsoft Research, USA, on ¿Software Model CheckingImprovingSecurityofaBillionComputers,¿MartaKwiatkowska,from Oxford University, UK, ¿On Quantitative Software Veri cation,¿ Joseph Sifakis (recipient of the Turing Award 2007), from VERIMAG, France, on ¿The Quest for Correctness - Beyond a posteriori Veri cation,¿ and Willem Visser, from the University of Stellenbosch, South Africa, on ¿Who Really Cares if the Program Crashes ¿ We would like to thank the authors of submitted papers, the invited spe- ers, the Program Committee members, the external reviewers, and the SteeringSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The papers in this volume were selected for presentation at the 15th Annual InternationalComputing and CombinatoricsConference (COCOON 2009), held during July 13¿15, 2009 in Niagara Falls, New York, USA. Previous meetings of this conference were held in Xian (1995), Hong Kong (1996), Shanghai (1997), Taipei(1998),Tokyo(1999),Sydney(2000),Guilin(2001),Singapore(2002),Big Sky (2003), Jeju Island (2004), Kunming (2005), Taipei (2006), Alberta (2007), and Dalian (2008). In response to the Call for Papers, 125 extended abstracts (not counting withdrawn papers) were submitted from 28 countries and regions, of which 51 were accepted. Authors of the submitted papers were from Cyprus (1), The Netherlands (1), Bulgaria (1), Israel (1), Vietnam (2), Finland (1), Puerto Rico (2), Australia (4), Norway (4), Portugal (1) Spain (2), France (16), Republic of Korea(3),Singapore(2), Italy(6), Iran,(4),Greece(7),Poland(4),Switzerland (8), Hong Kong (10), UK (12), India (7), Taiwan (18), Canada (23), China (19), Japan (39), Germany (44), and the USA (77). The submitted papers were evaluated by an international Technical P- gram Committee (TPC) consisting of Srinivas Aluru (Iowa State University, USA), Lars Arge (University of Aarhus, Denmark), Vikraman Arvind (Ins- tute of Mathematical Sciences, India), James Aspnes (Yale University, USA), Mikhail Atallah (Purdue University, USA), Gill Barequet (Technion - Israel - stitute of Technology, Israel), Michael Brudno (University of Toronto, Canada), Jianer Chen (Texas A&M, USA), Bhaskar DasGupta (University of Illinois at Chicago, USA), Anupam Gupta (Carnegie Mellon University, USA), Lane A.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 556 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Since 1993 the conference Developments in Language Theory (DLT) has been held in Europe every odd year and, since 2002, outside Europe every even year. The 13th conference in this series was DLT 2009. It took place in Stuttgart fromJune30to July3.PreviousmeetingsoccurredinTurku(1993),Magdeburg (1995),Thessaloniki(1997),Aachen(1999),Vienna(2001),Kyoto(2002),Szeged (2003), Auckland (2004), Palermo (2005), Santa Barbara (2006), Turku (2007), and Kyoto (2008). The DLT conference has developed into the main forum for language theory and related topics. This has also been re ected in the high quality of the 70 s- missions received in 2009. Most submissions were reviewed by four Programme Committeemembersandtheirsub-referees.TheProgrammeCommitteeselected the best 35 papers for presentation during the conference. These 35 papers are also published in this proceedings volume. Members of the ProgrammeComm- tee were not allowed to submit papers. The work of the Programme Committee wasorganizedusingtheEasyChairconferencesystem,thankstoAndreiVoronkov. The conference programme included ve invited lectures. They were given by Mikola j Bojanczyk ¿ (Warsaw), Paul Gastin (Cachan), Tero Harju (Turku), ChristosKapoutsis(Nicosia),andBenjaminSteinberg(Ottawa).Wearegrateful to the invited speakers for accepting the invitation and presenting their lectures and for their contributions to the proceedings. The Informatik Forum Stuttgart provided a best paper award, which was selected by the Programme Committee. The recipient was: ¿Magic Numbers and Ternary Alphabet¿ by Galina Jiraskova.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 520 pp. Englisch.