berlin springer mrz 2009 (99 risultati)

Taschenbuch. Condizione: Neu. Neuware -The growing complexity of modern software systems increases the di culty of ensuring the overall dependability of software-intensive systems. Complexity of environments, in which systems operate, high dependability requirements that systems have to meet, as well as the complexity of infrastructures on which they rely make system design a true engineering challenge. Mastering system complexity requires design techniques that support clear thinking and rigorous validation and veri cation. Formal design methods help to achieve this. Coping with complexity also requires architectures that are t- erant of faults and of unpredictable changes in environment. This issue can be addressed by fault-tolerant design techniques. Therefore, there is a clear need of methods enabling rigorous modelling and development of complex fault-tolerant systems. This bookaddressessuchacuteissues indevelopingfault-tolerantsystemsas: - Veri cation and re nement of fault-tolerant systems - Integrated approaches to developing fault-tolerant systems - Formal foundations for error detection, error recovery, exception and fault handling - Abstractions, styles and patterns for rigorousdevelopment of fault tolerance - Fault-tolerant software architectures - Development and application of tools supporting rigorous design of depe- able systems - Integrated platforms for developing dependable systems - Rigorous approaches to speci cation and design of fault tolerance in novel computing systems TheeditorsofthisbookwereinvolvedintheEU(FP-6)projectRODIN(R- orous Open Development Environment for Complex Systems), which brought together researchers from the fault tolerance and formal methods communi- 1 ties. In 2007 RODIN organized the MeMoT workshop held in conjunction with the Integrated Formal Methods 2007 Conference at Oxford University. 352 pp. Englisch.

Buch. Condizione: Neu. Neuware -Large Eddy Simulation (LES) is a high-fidelity approach to the numerical simulation of turbulent flows. Recent developments have shown LES to be able to predict aerodynamic noise generation and propagation as well as the turbulent flow, by means of either a hybrid or a direct approach. This book is based on the results of two French/German research groups working on LES simulations in complex geometries and noise generation in turbulent flows. The results provide insights into modern prediction approaches for turbulent flows and noise generation mechanisms as well as their use for novel noise reduction concepts. 356 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Human Machine Interaction, or more commonly Human Computer Interaction, is the study of interaction between people and computers. It is an interdisciplinary field, connecting computer science with many other disciplines such as psychology, sociology and the arts. The present volume documents the results of the MMI research program on Human Machine Interaction involving 8 projects (selected from a total of 80 proposals) funded by the Hasler Foundation between 2005 and 2008.These projects were also partially funded by the associated universities and other third parties such as the Swiss National Science Foundation.This state-of-the-art survey begins with three chapters giving overviews of the domains of multimodal user interfaces, interactive visualization, and mixed reality. These are followed by eight chapters presenting the results of the projects, grouped according to the three aforementioned themes. 311 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Arti cial intelligence has recently been re-energized to provide the clues needed to resolve complicated problems. AI is also expected to play a central role in enhancing a wide variety of daily activities. JSAI (The Japanese Society for Arti cial Intelligence) is responsible for boosting the activities of AI researchers in Japan, and their series of annual conferences o ers attractive forums for the exposition of the latest achievements and inter-group communication. In the past, the best papers of the conferences were published in the LNAI series. This book consists of award papers from the 22nd annual conference of the JSAI (JSAI 2008) and selected papers from the three co-located workshops. Eight papers were selected among more than 400 presentations at the conference and 18 papers were selected from the 34 presentations at the co-located wo- shops; Logic and Engineering of Natural Language Semantics 5 (LENLS 2008), the 2nd International Workshop on Juris-informatics (JURISIN 2008), and the First International Workshop on Laughter in Interaction and Body Movement (LIBM 2008). The award papers from JSAI 2008 were selected through a r- orous selection process. In the process, papers recommended by session chairs, session commentators, and PC members were carefully reviewed, before the nal decision was made. 334 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -As other industries, the global travel and tourism industry has been facing immense challenges and highly visible upheaval since the beginning of the new millennium. The International Tourism Exchange ITB Berlin, the world's leading travel trade show, aims at pinpointing the most important challenges, identifying the trends and offering a platform to solve pressing problems. The ITB Convention Market Trends & Innovations has developed into a centre of excellence and a driving force for the global travel and tourism industry, generating a much needed information platform. This compilation unites the highlights of the convention in articles prepared by renowned professionals and scientists from the industry. Readers may benefit from this comprehensive vision of the developments that are shaping the structure of the global tourism industry today and in the future. This book is indispensable for tourism and travel professionals as well as for academics and students anal- ing current global tourism and travel trends. 300 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Microfinance has experienced dynamic development. Today, microfinance providers reach close to 100 million clients worldwide and are growing fast. New partnerships expand the impact of microfinance even further. Three types of partnerships are examined in this book, each consisting of a thematic pillar. Pillar I focuses on equity investments in microfinance, especially the possibilities for engaging private investors through structured microfinance investment funds. Rating agencies are involved in providing more transparency in this emerging fund industry. Pillar II focuses on collaboration among microfinance providers, governments, private investors and technology companies which help microfinance institutions to integrate new technologies into their business models, reducing cost and increasing outreach to clients. Pillar III covers micropensions, microinsurance and the role of securitisation for the future of microfinance. 404 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 5th International Conference on Information Security Practice and Expe- ence (ISPEC 2009) was held in Xi'an, China, April 13-15, 2009. The ISPEC conference series is an established forum that brings together - searchers and practitioners to provide a con uence of new information security technologies, including their applications and their integration with IT systems in various vertical sectors. In previous years, ISPEC has taken place in Sin- pore (2005), Hangzhou, China (2006), Hong Kong, China (2007), and Sydney, Australia (2008). For all sessions, as this one, the conference proceedings were published by Springer in the Lecture Notes in Computer Science series. In total, 147 papers from 26 countries were submitted to ISPEC 2009, and 34 were nally selected for inclusion in the proceedings (acceptance rate 23%). The accepted papers cover multiple topics of information security and applied cryptography. Each submission was anonymously reviewed by at least three - viewers. We are grateful to the Program Committee, which was composed of more than 40 well-known security experts from 15 countries; we heartily thank them as well as all external reviewers for their time and valued contributions to the tough and time-consuming reviewing process. Inadditiontothe regularpaperpresentations,the programalsofeaturedfour invited talks by Yupu Hu, from Xidian University, China; Youki Kadobayashi, from Nara Institute of Science and Technology, Japan; Mark Ryan, from the University of Birmingham, UK; and Gene Tsudik, from the University of C- ifornia at Irvine, USA. We are grateful to them for accepting our invitation to speak at the conference. 428 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 27 full papers and 8 tool demonstrations included in the volume were thoroughly reviewed and selected from 131 submissions. The papers are organized in topical sections on Model Checking, Tools, Verification of Concurrent Programs, Parametric Analysis, Program Analysis, and Hybrid Systems. 476 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Penalising a process is to modify its distribution with a limiting procedure, thus defining a new process whose properties differ somewhat from those of the original one. We are presenting a number of examples of such penalisations in the Brownian and Bessel processes framework. The Martingale theory plays a crucial role. A general principle for penalisation emerges from these examples. In particular, it is shown in the Brownian framework that a positive sigma-finite measure takes a large class of penalisations into account. 296 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Trustworthy Global Computing, TGC 2008 held in Barcelona, Spain, in November 2008. The 12 revised papers presented together with one invited paper were carefully selected from 26 submissions during two rounds of reviewing and improvement. The TGC 2008 symposium papers focus on providing tools and frameworks for constructing well-behaved applications and for reasoning about their behavior and properties in models of computation that incorporate code and data mobility over distributed networks with highly dynamic topologies and heterogeneous devices. 228 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 18th International Conference on Compiler Construction, CC 2009, held in York, UK, in March 2009 as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. Following a very thorough review process, 18 full research papers were selected from 72 submissions. Topics covered include traditional compiler construction, compiler analyses, runtime systems and tools, programming tools, techniques for specific domains, and the design and implementation of novel language constructs. 281 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume grew out of a series of preprints which were written and circulated - tween 1993 and 1994. Around the same time, related work was done independently by Harder [40] and Laumon [62]. In writing this text based on a revised version of these preprints that were widely distributed in summer 1995, I nally did not p- sue the original plan to completely reorganize the original preprints. After the long delay, one of the reasons was that an overview of the results is now available in [115]. Instead I tried to improve the presentation modestly, in particular by adding cross-references wherever I felt this was necessary. In addition, Chaps. 11 and 12 and Sects. 5. 1, 5. 4, and 5. 5 were added; these were written in 1998. I willgivea moredetailedoverviewofthecontentofthedifferentchaptersbelow. Before that I should mention that the two main results are the proof of Ramanujan's conjecture for Siegel modular forms of genus 2 for forms which are not cuspidal representations associated with parabolic subgroups(CAP representations), and the study of the endoscopic lift for the group GSp(4). Both topics are formulated and proved in the rst ve chapters assuming the stabilization of the trace formula. All the remaining technical results, which are necessary to obtain the stabilized trace formula, are presented in the remaining chapters. Chapter 1 gathers results on the cohomology of Siegel modular threefolds that are used in later chapters, notably in Chap. 3. At the beginning of Chap. 392 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 11th International Conference on Information Security and Cryptology, ICISC 2008, held in Seoul, Korea, during December 3-5, 2008. The 26 revised full papers presented have gone through two rounds of reviewing and improvement and were carefully selected from 131 submissions. The papers are organized in topical sections on public key encryption, key management and secret sharing, privacy and digital rights, digital signature and voting, side channel attack, hash and mac, primitives and foundations, as well as block and stream ciphers. 448 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Third International Symposium on Quantum Interaction, QI 2009, held in Saarbrücken, Germany, in March 2009. The 21 revised full papers presented together with the 3 position papers were carefully reviewed and selected from numerous submissions. The papers show the cross-disciplinary nature of quantum interaction covering topics such as computation, cognition, decision theory, information retrieval, information systems, social interaction, computational linguistics and finance. 328 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents a collection of courses introducing the reader to the recent progress with attention being paid to laying solid grounds and developing various basic tools. An introductory chapter on lattice spin models is useful as a background for other lectures of the collection.The topics include new results on phase transitions for gradient lattice models (with introduction to the techniques of the reflection positivity), stochastic geometry reformulation of classical and quantum Ising models, the localization/delocalization transition for directed polymers. A general rigorous framework for theory of metastability is presented and particular applications in the context of Glauber and Kawasaki dynamics of lattice models are discussed. A pedagogical account of several recently discussed topics in nonequilibrium statistical mechanics with an emphasis on general principles is followed by a discussion of kinetically constrained spin models that are reflecting important peculiar features of glassy dynamics. 360 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Storage Management in Data Centers helps administrators tackle the complexity of data center mass storage. It shows how to exploit the potential of Veritas Storage Foundation by conveying information about the design concepts of the software as well as its architectural background. Rather than merely showinghowto use Storage Foundation, it explainswhyto use it in a particular way, along with what goes on inside. Chapters are split into three sections: An introductory part for the novice user, a full-featured part for the experienced, and a technical deep dive for the seasoned expert. An extensive troubleshooting section shows how to fix problems with volumes, plexes, disks and disk groups. A snapshot chapter gives detailed instructions on how to use the most advanced point-in-time copies. A tuning chapter will help you speed up and benchmark your volumes. And a special chapter on split data centers discusses latency issues as well as remote mirroring mechanisms and cross-site volume maintenance.All topics are covered with the technical know how gatheredfrom an aggregatethirtyyears of experience in consulting and training in data centers all over the world. 544 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In this monograph, we de ne and investigate an algebro-geometric analogue of Donaldson invariants by using moduli spaces of semistable sheaves with arbitrary ranks on a polarized projective surface. We may expect the existence of interesting 'universal relations among invariants', which would be a natural generalization of the 'wall-crossing formula' and the 'Witten conjecture' for classical Donaldson invariants. Our goal is to obtain a weaker version of such relations, in other brief words, to describe a relation as the sum of integrals over the products of m- uli spaces of objects with lower ranks. Fortunately, according to a recent excellent work of L. Gottsche, H. Nakajima and K. Yoshioka, [53], a wall-crossing formula for Donaldson invariants of projective surfaces can be deduced from such a weaker result in the rank two case. We hope that our work in this monograph would, at least tentatively, provides a part of foundation for the further study on such universal relations. In the rest of this preface, we would like to explain our motivation and some of important ingredients of this study. See Introduction for our actual problems and results. Donaldson Invariants Let us brie y recall Donaldson invariants. We refer to [22] for more details and precise. We also refer to [37], [39], [51] and [53]. LetX be a compact simply con- nected oriented real 4-dimensional C -manifold with a Riemannian metric g. Let P be a principalSO(3)-bundle on X. 416 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The International Conference on the Computer Processing of Oriental L- guages(ICCPOL)seriesishostedbytheChineseandOrientalLanguagesSociety (COLCS),aninternationalsocietyfoundedin1975.RecentICCPOLeventshave been held in Hong Kong (1997), Tokushima, Japan (1999), Seoul, Korea (2001), Shenyang, China (2003) and Singapore (2006). This volume presents the proceedings of the 22nd International Conference ontheComputerProcessingofOrientalLanguages(ICCPOL2009)heldinHong Kong, March 26-27, 2009. We received 63 submissions and all the papers went through a blind review process by members of the Program Committee. After careful discussion, 25 of them were selected for oral presentation and 15 for poster presentation. The accepted papers covered a variety of topics in natural language processing and its applications, including word segmentation, phrase and term extraction, chunking and parsing, semantic labelling, opinion mining, ontology construction, machine translation, information extraction, document summarization and so on. On behalf of the Program Committee, we would like to thank all authors of submitted papers for their support. We wish to extend our appreciation to the Program Committee members and additional external reviewers for their tremendous e ort and excellent reviews. We gratefully acknowledge the Or- nizing Committee and Publication Committee members for their generous c- tribution to the success of the conference. We also thank the Asian Federation of Natural Language Processing (AFNLP), the Department of Computing, The Hong Kong Polytechnic University, Hong Kong, the Department of Systems - gineering and Engineering Management, The Chinese University of Hong Kong, Hong Kong, and the Centre for Language Technology, Macquarie University, Australia for their valuable support. 420 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the thoroughly refereed post-conference proceedings of the First and Second International Symposia on Sanskrit Computational Linguistics, held in Rocquencourt, France, in October 2007 and in Providence, RI, USA, in May 2008 respectively. The 11 revised full papers of the first and the 12 revised papers of the second symposium presented with an introduction and a keynote talk were carefully reviewed and selected from the lectures given at both events. The papers address several topics such as the structure of the Paninian grammatical system, computational linguistics, lexicography, lexical databases, formal description of sanskrit grammar, phonology and morphology, machine translation, philology, and OCR. 440 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 10th International Conference on Passive and Active Measurement, PAM 2009, held in Seoul, Korea, in April 2009. The 22 revised full papers and 2 revised demo papers presented were carefully reviewed and selected from 77 submissions. The papers focus on research and practical applications of routing and forwarding, topology and delay, methods for large-scale measurements, wireless, management tools, audio and video traffic, peer-to-peer, traffic measurements, and measurements of anomalous and unwanted traffic. 250 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Success of an organization is increasingly dependent on its capability to create an environment in order to improve productivity of knowledge work. This book focuses on the concepts, models and technologies that are used to design and implement such an environment. It develops the vision of a modular, yet highly integrated enterprise knowledge infrastructure and presents an idealized architecture replete with current technologies and systems. The most important streams of technological development that are covered in the book are communication, collaboration, document and content management, e-learning, enterprise portals, business process management, information life cycle management, information retrieval and visualization, knowledge management, mobile computing, application and network infrastructure, Semantic Web and social software. It includes learning goals, exercises and case examples that help the reader to easily understand and practice the concepts. 460 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The First Future Internet Symposium was held during September 28-30, 2008 in Vienna, Austria. FIS 2008 provided a forum for leading researchersand pr- titioners to meet and discuss the wide-ranging scienti c and technical issues related to the design of a new Internet. The sentiment shared in Vienna was that we are at the beginning of something very exciting and challenging and that FIS 2008 has played a role in forming a community to address this. With overa billionusers,today's Internet is arguablythe most successful- man artifact ever created. The Internet's physical infrastructure, software, and content now play an integralpart in the lives of everyoneon the planet, whether they interact with it directly or not. Now nearing its fth decade, the Int- net has shown remarkable resilience and exibility in the face of ever-increasing numbers of users, data volume, and changing usage patterns, but faces gr- ing challenges in meetings the needs of our knowledge society. Globally, many major initiatives are underway to address the need for more scienti c research, physical infrastructure investment, better education, and better utilization of the Internet. Japan, the USA and Europe are investing heavily in this area. The EU is shaping around the idea of the Future Internet its research programmes for the Seventh Framework. EU commissioners, national government ministers, industry leadersand researchersmet in Bled, Slovenia during March 31-April2, 2008, to begin developing a vision of a future Internet that will meet Europe's needs a decade from now, and beyond. Abroadprogrammeofscienti cresearchisessentialtosupportingtheaimsof the Future Internetinitiative. 196 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 5th International Workshop on Applied Reconfigurable Computing, ARC 2009, held in Karlsruhe, Germany, in March 2009. The 21 full papers and 21 short papers presented together with the abstracts of 3 keynote lectures were carefully reviewed and selected from about 100 submissions. The papers are organized in topical sections on FPGA security and bitstream analysis, fault tolerant systems, architectures, place and route techniques, cryptography, and resource allocation and scheduling, as well as on applications. 408 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Cryptographers' Track at the RSA Conference 2009, CT-RSA 2009, held in San Francisco, CA, USA in April 2009. The 31 revised full papers presented were carefully reviewed and selected from 93 submissions. The papers are organized in topical sections on identity-based encryption, protocol analysis, two-party protocols, more than signatures, collisions for hash functions, cryptanalysis, alternative encryption, privacy and anonymity, efficiency improvements, multi-party protocols, security of encryption schemes as well as countermeasures and faults. 482 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers presented together with 2 tool demonstrations were carefully reviewed and selected from 123 regluar and 9 tool paper submissions. The topics addressed are model-driven development, synthesis and adaptation, modeling, testing and debugging, model analysis, patterns, security, queries and error handling, and tools (demos) and program analysis. 504 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers presented together with two invited talks were carefully reviewed and selected from 102 full paper submissions. The topics addressed are semantics, logics and automata, algebras, automata theory, processes and models, security, probabilistic and quantitative models, synthesis, and program analysis and semantics. 488 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is an outcome of the LIX Fall Colloquium on the Emerging Trends in Visual Computing, ETVC 2008, which was held in Palaiseau, France, November 18-20, 2008. During the event, 25 renowned invited speakers gave lectures on their areas of expertise within the field of visual computing. From these talks, a total of 15 state-of-the-artarticles have been assembled in this volume. Allarticles were thoroughly reviewed and improved, according to the suggestions of the referees.The 15contributions presented in this state-of-the-art survey are organized in topical sections on: geometric computing, information geometry and applications, computer graphics and vision, information retrieval, and medical imaging and computational anatomy. They are preceded by the abstracts of the talks given at ETVC 2008. 386 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the First International on Bioinformatics and Computational Biology, BICoB 2007, held in New Orleans, LA, USA, in April 2007. The 30 revised full papers presented together with 10 invited lectures were carefully reviewed and selected from 72 initial submissions. The papers address current research in the area of bioinformatics and computational biology fostering the advancement of computing techniques and their application to life sciences in topics such as genome analysis sequence analysis, phylogenetics, structural bioinformatics, analysis of high-throughput biological data, genetics and population analysis, as well as systems biology. 468 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thisvolumecontainsthe15paperspresentedinthetechnicalstrandoftheTrust 2009 conference, held in Oxford, UK in April 2009. Trust 2009 was the second international conference devoted to the technical and socio-economic aspects of trusted computing. The conference had two main strands, one devoted to technical aspects of trusted computing (addressed by these proceedings), and the other devoted to socio-economic aspects. Trust 2009 built on the successful Trust 2008 conference, held in Villach, Austria in March 2008. The proceedings of Trust 2008, containing 14 papers, were published in volume 4968 of the Lecture Notes in Computer Science series. ThetechnicalstrandofTrust2009contained15originalpapersonthedes ign and application of trusted computing. For these proceedings the papers have been divided into four main categories, namely: - Implementation of trusted computing - Attestation - PKI for trusted computing - Applications of trusted computing The 15 papers included here were selected from a total of 33 submissions. The refereeing process was rigorous, involving at least three (and mostly more) independent reports being prepared for each submission. We are very grateful to our hard-working and distinguished Program Committee for doing such an excellent job in a timely fashion. We believe that the result is a high-quality set of papers, some of which have been signi cantly improved as a result of the refereeing process. We would also like to thank all the authors who submitted their papers to the technical strand of the Trust 2009 conference, all external referees, and all the attendees of the conference. 276 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009, held in San Francisco, CA, USA, in April 2009. The 30 revised full papers and 10 revised short papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers focus on research in embedded reactive systems involving the interplay between symbolic/discrete and continuous dynamical behaviors and feature the latest developments of applications and theoretical advancements in the analysis, design, control, optimization, and implementation of hybrid systems. 508 pp. Englisch.