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 refereed proceedings of the 27th Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2008, held in Istanbul, Turkey, in Apri
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 thoroughly refereed post-proceedings of the 10th International Workshop on Early Aspects: Current Challenges and Future Directions, held in March 2007 in Vancouver, Canada, c
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 offers readers a succinct and reader-friendly foundation to the most important topics in the field of data compression. Complete and clear, it is the perfect reference for advanced undergrad
This book constitutes the refereed proceedings of the 7th International Symposium on Web and Wireless Geographical Information Systems, W2GIS 2007, held in Cardiff, UK, in November 2007. The 21 revise
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 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
As with the bestselling first edition, Computational Statistics Handbook with MATLAB®, Second Edition covers some of the most commonly used contemporary techniques in computational statistics. Wit
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
Computational statistics and statistical computing are two areas that employ computational, graphical, and numerical approaches to solve statistical problems, making the versatile R language an ideal
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
This book examines the important role semantics will have in the future development of software systems and domain specific languages. It presents the fundamental ideas behind these approaches, stres
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