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 13th International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2007, held in Kuching, Malaysia, in
This book constitutes the refereed proceedings of the Third Usability Symposium of the Human-Computer Interaction and Usability Engineering Workgroup of the Austrian Computer Society, USAB 2007, held
This book constitutes the refereed proceedings of the joined 6th International Semantic Web Conference, ISWC 2007, and the 2nd Asian Semantic Web Conference, ASWC 2007. The papers address all current
This volume constitutes the refereed proceedings of the 18th International Conference on Database and Expert Systems Applications held in September 2007. Papers are organized into topical sections cov
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
Here is a highly relevant book that covers a wide array of key aspects in information security. It constitutes the refereed proceedings of the 12th Australasian Conference on Information Security and
This book constitutes the refereed proceedings of the Third International Conference on Algorithmic Aspects in Information and Management, AAIM 2007, held in Portland, OR, USA in June 2007.It covers g
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 two volume set constitutes the refereed proceedings of the 8th International Conference on Adaptive and Natural Computing Algorithms, ICANNGA 2007, held in Warsaw, Poland, in April 2007. Coverage
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
Here are the refereed proceedings of the Third International Workshop on Medical Imaging and Augmented Reality, MIAR 2006, held in Shanghai, China, August 2006. The book presents 45 revised full paper
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 thoroughly refereed postproceedings of the 6th Workshop of the Cross-Language Evaluation Forum, CLEF 2005. The book presents 111 revised papers together with an introduction.
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
This book constitutes the refereed proceedings of the Third International Symposium on Biomedical Simulation, ISBMS 2006, held in Zurich, Switzerland in July 2006. The 12 revised full papers and 11 po
This book constitutes the refereed proceedings of the 17th International Conference on Database and Expert Systems Applications, DEXA 2006. The book presents 90 revised full papers together with 1 inv
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 collects the proceedings of the International Workshop on Intelligent Computing in Pattern Analysis/Synthesis, IWICPAS 2006, held in Xi'an, China alongside the 18th International Conference
This book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems with Trustworthy Components, held in Dagstuhl Castle, Germany, in December
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 First International Conference on Mobile Ad-hoc and Sensor Networks, MSN 2005, held in Wuhan, China in December 2005. The volume also contains 12
This book provides a good opportunity for software engineering practitioners and researchers to get in sync with the current state-of-the-art and future trends in component-based embedded software res
This book constitutes the refereed proceedings of the First International Symposium on Visual Computing, ISVC 2005, held in Lake Tahoe, NV, USA in December 2005.The 33 revised full papers and 26 poste
This book constitutes the refereed proceedings of the 8th International Conference on Asian Digital Libraries, ICADL 2005, held in Bangkok, Thailand in December 2005.The 40 revised full papers, 15 rev
The two volume set LNAI 3801 and LNAI 3802 constitute the refereed proceedings of the annual International Conference on Computational Intelligence and Security, CIS 2005, held in Xi'an, China, in Dec
This book constitutes the refereed proceedings of the 10th Iberoamerican Congress on Pattern Recognition, CIARP 2005, held in Havana, Cuba in November 2005.The 107 revised full papers presented togeth
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 the 13th Annual European Symposium on Algorithms, ESA 2005, held in Palma de Mallorca, Spain, in September 2005 in the context of the combined confere
The three-volume set LNCS 3514-3516 constitutes the refereed proceedings of the 5th International Conference on Computational Science, ICCS 2005, held in Atlanta, GA, USA in May 2005.The 464 papers pr
