springer berlin heidelberg mrz 2009 (98 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 -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 -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 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.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) IIThese Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains:- Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences- Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series)- Other papers invited for publication in ToPNoC- Papers submitted directly to ToPNoC by their authorsThe second volume of ToPNoC focuses on Concurrency in Process-Aware Information Systems. Although the topic of business process management using information technology has been addressed by consultants and software developers in depth, more fundamental approaches towards such Process-Aware Information Systems (PAISs) have been rather uncommon.It wasn't until the 1990s thatresearchers started to work on the foundations of PAISs. Clearly, concurrency theory is an essential ingredient in these foundations as business processes are highly concurrent involving all types of routing logic and resource allocation mechanisms. The 16 papers in this special issue of ToPNoC cover topics ranging from the formal (mostly Petri-net based) foundations of PAISs to more applied topics such as flexibility and process mining. Thus, this volume gives a good overview of the state of the art in PAIS research. 316 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The notion of an operad supplies both a conceptual and effective device to handle a variety of algebraic structures in various situations. Operads were introduced 40 years ago in algebraic topology in order to model the structure of iterated loop spaces. Since then, operads have been used fruitfully in many fields of mathematics and physics.This monograph begins with a review of the basis of operad theory. The main purpose is to study structures of modules over operads as a new device to model functors between categories of algebras as effectively as operads model categories of algebras. 324 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Do virtual museums really provide added value to end-users, or do they just contribute to the abundance of images Does the World Wide Web save endangered cultural heritage, or does it foster a society with less variety These and other related questions are raised and answered in this book, the result of a long path across the digital heritage landscape. It provides a comprehensive view on issues and achievements in digital collections and cultural content. 488 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 European Symposium on Programming, ESOP 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 26 revised full papers presented together with two abstracts of invited talks were carefully reviewed and selected from 98 full paper submissions. The topics addressed are typed functional programming, computational effects, types for object-oriented languages, verification, security, concurrency, service-oriented computing, parallel and concurrent programming. 428 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 -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 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.