A state-of-the-art survey that reports on the progress made in selected areas of this important and growing field, aiding the analysis of existing networks and the design of new and more efficient alg
The complexity of modern software systems makes it difficult to ensure the dependability of software-intensive systems. This book is based on the workshop on Methods, Models and Tools for Fault Tolera
This book constitutes the refereed proceedings of the 4th International Conference on Computer Vision/Computer Graphics Collaboration Techniques, MIRAGE 2009, held in Rocquencourt, France, in May 2009
This book constitutes the refereed proceedings of the 14th International Conference on Database Systems for Advanced Applications, DASFAA 2009, held in Brisbane, Australia, in April 2009.The 39 revise
This book constitutes the refereed proceedings of the 10th International Conference on Computational Linguistics and Intelligent Text Processing, CICLing 2009, held in Mexico City, Mexico in March 200
This book constitutes the refereed proceedings of the 22nd International Conference on Architecture of Computing Systems, ARCS 2009, held in Delft, The Netherlands, in March 2009.The 21 revised full p
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Provenance and Annotation Workshop, IPAW 2008, held in Salt Lake City, UT, USA, in June 2007.The 1
This book constitutes the proceedings of the SPEC Benchmark Workshop 2009 held in Austin, Texas, USA on January 25th, 2009.The 9 papers presented were carefully selected and reviewed for inclusion in
Software engineering is widely recognized as one of the most exciting, stimulating, and profitable research areas, with a significant practical impact on the software industry. Thus, training future g
This book constitutes the refereed proceedings of the First International Symposium on Engineering Secure Software and Systems, ESSoS 2009, held in Leuven, Belgium, in February 2009.The 10 revised ful
This book constitutes the refereed proceedings of the Fourth International Conference on High Performance Embedded Architectures and Compilers, HiPEAC 2009, held in Paphos, Cyprus, in January 2009.The
This book constitutes the refereed proceedings of the Second International Workshop on Post-Quantum Cryptography, PQCrypto 2008, held in Cincinnati, OH, USA, in October 2008.The 15 revised full papers
This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Semantics in Data and Knowledge Bases, SDKB 2008, held in Nantes, France, on March 29, 20
This Festschrift volume contains the proceedings of the conference Mathematical Methods in Computer Science, MMICS 2008, which was held during December 17-19, 2008, in Karlsruhe, Germany, in memory of
This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 9th International Middleware Conference 2008, held in Leuven, Belgium, in December 2008.The 21 revised full papers presented were
The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its a
This book constitutes the refereed proceedings of the 12th International Conference on Principles of Distributed Systems, OPODIS 2008, held in Luxor, Egypt, in December 2008.The 30 full papers and 11
These 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
This book constitutes the refereed proceedings of the 24th International Conference on Logic Programming, ICLP 2008, held in Udine, Italy, in December 2008.The 35 revised full papers together with 2 i
This book constitutes the refereed proceedings of the Third International Workshop on Self-Organizing Systems, IWSOS 2008, held in Vienna, Austria, December 10-12, 2008.The 20 revised full papers and
This book constitutes the refereed post-conference proceedings of the 14th International Workshop on Groupware: Design, Implementation, and Use, held in Omaha, Nebraska, USA, during September 14-18, 2
This book constitutes the refereed proceedings of the Third Pacific Rim Symposium on Image and Video Technology, PSIVT 2009, held in Tokyo, Japan, in January 2009.The 39 revised full papers and 57 pos
This book constitutes the thoroughly refereed post-conference proceedings of the 34th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2008, held in Durham, UK, in June/July
This book constitutes the refereed proceedings of the 10th International Conference on Distributed Computing and Networking, ICDCN 2009, held in Hyderabad, India, during January 3-6, 2009.The 20 paper
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008.The volume pr
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Learning and Intelligent Optimization, LION 2007 II, held in Trento, Italy, in Decem
This book constitutes the post-conference proceedings of the WG2.7/13.4 10th Conference on Engineering Human Computer Interaction (EHCI 2007), the WG 13.2 First Conference on Human Centred Software En
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 5th volume of the FoLLI LNAI subline. It contains the refereed proceedings of the Thir
Nowadays constraint satisfaction problems (CSPs) are ubiquitous in many different areas of computer science, from artificial intelligence and database systems to circuit design, network optimization,
This book constitutes the refereed proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages, PADL 2009, held in Savannah, GA, USA, in January 2009, collocated with
The book constitutes the refereed proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009, held in Savannah, GA, USA, in January 2009
This book constitutes the refereed proceedings of the 22nd International Symposium on Distributed Computing, DISC 2008, held in Arcachon, France, in September 2008.The 33 revised full papers, selected
This book constitutes the refereed proceedings of the 12th European Conference on Research and Advanced Technology for Digital Libraries, ECDL 2008, held in Aarhus, Denmark, in September 2008.The 28 r
Multiobjective optimization deals with solving problems having not only one, but multiple, often conflicting, criteria. Such problems can arise in practically every field of science, engineering and b
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008.The 21 revised
This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. The 16 papers presen
This book constitutes the refereed proceedings of the 11th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2008, held in Karlsruhe, Germany in October 2008.The 20 rev
This book constitutes the refereed proceedings of the 11th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2008, held in Lisbon, Portugal, in October 2008.The 46 papers presented were c
This book constitutes the refereed proceedings of the 13th European Symposium on Research in Computer Security, ESORICS 2008, held in Torremolinos, Spain, in October 2008.The 37 revised full papers pr
This book constitutes the refereed proceedings of the Third European Conference on Smart Sensing and Context, EuroSSC 2008, held in Zurich, Switzerland, October 29-31, 2008.The 17 revised full papers
