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 International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008.The volume pr
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
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 12th European Conference on Research and Advanced Technology for Digital Libraries, ECDL 2008, held in Aarhus, Denmark, in September 2008.The 28 r
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 5th International Conference on Distributed Computing and Internet Technology, ICDCIT 2008, held in New Delhi, India, in December 2008. The 12 rev
This tutorial book presents an augmented selection of the material presented at the International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2007, held
This book constitutes the refereed proceedings of the 5th International Conference on Sequences and Their Applications, SETA 2008, held in Lexington, KY, USA in September 2008.The 32 revised full pape
This book constitutes the refereed proceedings of the 15th European PVM/MPI Users' Group Meeting held in Dublin, Ireland, in September 2008.The 29 revised full papers presented together with abstracts
This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Tutoring Systems, ITS 2008, held in Montreal, Canada, in June 2008.The 63 revised full papers and 61 p
Welcome to the proceedings of the 13th International Conference on Database Systems for Advanced Applications (DASFAA 2008) which was held in New Delhi, India. DASFAA 2008 continued the tradition of p
Software architectures that contain many dynamically interacting components, each with its own thread of control, engaging in complex coordination protocols, are difficult to correctly and efficiently
TCC 2008, the 5th Theory of Cryptography Conference, was held in New York, New York, March 19–21, 2008, at New York University. TCC 2008 was sp- soredbytheInternationalAssociationforCryptologicResearc
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative Agent Languages and Technologies, DALT 2007, held in Honolulu, USA, in 2007. It
This book constitutes the refereed proceedings of the International Conference on Embedded and Ubiquitous Computing, EUC 2007, held in Taipei, Taiwan, in December 2007. The 65 revised full papers pres
This book constitutes the refereed proceedings of the 4th International Conference on Virtual Storytelling, ICVS 2007, held in Saint-Malo, France, in December 2007. The 12 revised full papers, three i
This book constitutes the refereed proceedings of the 10th International Conference on Information Security and Cryptology, ICISC 2007, held in Seoul, Korea, November 29-30, 2007. The papers are organ
This state-of-the-art survey features papers that were selected after an open call following the International Dagstuhl Seminar on Algorithmic Methods for Railway Optimization. The second part of the
This book constitutes the refereed proceedings of the 10th International Workshop on Algorithms and Data Structures, WADS 2007, held in Halifax, Canada, in August 2007. The papers present original res
This book constitutes the refereed proceedings of the Second International Symposium on Brain, Vision and Artificial Intelligence, BVAI 2007. Coverage includes: basic models in visual sciences, cortic
This book constitutes the refereed proceedings of the First International Bioinformatics Research and Development Conference, BIRD 2007, held in Berlin, Germany in March 2007. The 36 revised full pape
This book constitutes the refereed proceedings of the Pacific Asia Workshop on Intelligence and Security Informatics, PAISI 2007, held in Chengdu, China in April 2007. Coverage includes crime analysis
This book brings together 19 papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems. It is an outcome of the REFT 2005 Workshop o
This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software Engineering, PSSE 2004, held in Receife, Brazil in November/December 2004
This book constitutes the thoroughly refereed post-proceedings of the 11th International Conference on Advances in Computer Games, ACG 2005, held in Taipei, Taiwan, in September 2005 in conjunction wi
This book constitutes the refereed proceedings of the 10th IFIP TC-6 TC-11 International Conference on Communications and Multimedia Security, CMS 2006, held in Heraklion, Crete, Greece in October 200
This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. The book presents 37 revised full papers together with 4 invited contributions, a
Modern civilization relies on a functioning information infrastructure. As a result, dependability has become a central issue in all disciplines of systems engineering and software architecture.Theori
This book constitutes the refereed proceedings of the 26th Annual International Cryptology Conference, CRYPTO 2006, held in Santa Barbara, California, USA in August 2006. The 34 revised full papers pr
This book constitutes the refereed proceedings of the Second European Conference on Model Driven Architecture - Foundations and Applications, ECMDA-FA 2006, held in Bilbao, Spain, in July 2006.The 30
Here are the refereed proceedings of the 9th International Conference on Theory and Practice in Public-Key Cryptography, PKC 2006, held in New York City in April 2006. The 34 revised full papers prese
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Spatial Coherence for Visual Motion Analysis, 2004, held in May 2004. The eleven revised full rese
This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Computers and Games, CG 2004, held in July 2004. The 21 revised full papers presented together wit
This book constitutes the refereed proceedings of the 19th European Conference on Object-Oriented Programming, ECOOP 2005, held in Glasgow, UK, in July 2005.The 24 revised full papers, presented toget
This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering Workshop) and WS-FM 2005 (Web Services and Formal Methods) held in V
The LNCS Journal on Data Semantics is devoted to the presentation of notable work that, in one way or another, addresses research and development on issues related to data semantics. Based on the high
This book constitutes the thoroughly refereed post-proceedings of the 8th International Conference on Principles of Distributed Systems, OPODIS 2004, held at Grenoble, France, in December 2004.The 30
The book constitutes the refereed proceedings of the First International Conference on Distributed Computing in Sensor Systems, DCOSS 2005, held in Marina del Rey, California, USA in June/July 2005.Th
The8thWorkshopontheFoundationsofGeneticAlgorithms,FOGA-8,washeld at the University of Aizu in Aizu-Wakamatsu City, Japan, January 5–9, 2005. This series of workshops was initiated in 1990 to encourage