The two volume set LNCS 5358 and LNCS 5359 constitutes the refereed proceedings of the 4th International Symposium on Visual Computing, ISVC 2008, held in Las Vegas, NV, USA, in December 2008.The 102
This book constitutes the refereed proceedings of the 7th International Conference on Cryptology and Network Security, CANS 2008, held in Hong-Kong, China, in December 2008.The 27 revised full papers
This book constitutes the proceedings of the the 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, held in Hanoi, Vietnam, in December 2008. The 19 regular papers and 22 short pap
This book constitutes the refereed proceedings of the 3rd Asian Semantic Web Conference, ASWC 2008, held in Bankok, Thailand, in December 2008.The 37 revised full papers presented were carefully revie
This book constitutes the thoroughly refereed post-conference proceedings of the 21th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2008, held in Edmonton, Canada, in
This book constitutes the refereed proceedings of the 15th International Conference on High-Performance Computing, HiPC 2008, held in Bangalore, India, in December 2008.The 46 revised full papers pres
This volume constitutes the refereed proceedings of the First European Conference, ServiceWave 2008, held in Madrid, Spain, in December 2008.The 28 revised full papers presented were carefully reviewe
This book constitutes the refereed proceedings of the 8th International Symposium on Web and Wirelsss Geographical Information Systems, W2GIS 2008, held in Shanghai, China, in December 2008. The 14 re
This book constitutes the refereed proceedings of the 4th International Workshop on Internet and Network Economics, WINE 2008, held in Shanghai, China, in December 2008.The 68 revised full papers pres
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more
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 volume contains scientific papers and case studies presented at Interactive Sto- telling ’08: The First Joint International Conference on Interactive Digital Storytelling (ICIDS), held November 2
This book constitutes the refereed proceedings of the 16th Annual European Symposium on Algorithms, ESA 2008, held in Karlsruhe, Germany, in September 2008 in the context of the combined conference AL
This two-volume set LNCS 5331/5332 constitutes the refereed proceedings of the five confederated international conferences on Cooperative Information Systems (CoopIS 2008), Distributed Objects and App
This volume constitutes the refereed proceedings of 13 international workshops held as part of OTM 2008 in Monterrey, Mexico, in November 2008.The 106 revised full papers presented were carefully revi
This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Wireless and Mobility organized inside the Euro-NGI/FGI Network of Excellence and held in B
This book constitutes the refereed proceedings of the 5th Hellenic Conference on Artificial Intelligence, SETN 2008, held at Syros, Greece in October 2008.The 27 revised full papers together with 17 r
This book constitutes the thoroughly refereed post-proceedings of the Fourth International Conference on the Quality of Software Architectures, QoSA 2008, held in Medford, MA, USA, in July 2007, in co
This book constitutes the refereed proceedings of the Second Western European Workshop on Research in Cryptology, WEWoRC 2007, held in Bochum, Germany, in July 2007The 12 revised full papers were care
Welcome to the 2008EuropeanConference onComputer Vision. These proce- ings are the result of a great deal of hard work by many people. To produce them, a total of 871 papers were reviewed. Forty were
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 6th German Conference on Multiagent Systems Technologies, MATES 2008, held in Kaiserslautern, Germany, in September 2008 - co-located with the 31s
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 thoroughly refeered post-conference proceedings of the Second Interational Conference on Medical Imaging and Informatics, MIMI 2007, held in Beijing, China, in August 2007.Th
This book constitutes the refereed proceedings of the 9th International Conference on Product Focused Software Process Improvement, PROFES 2008, held in Monte Porzio Catone, Italy, in June 2008.The 31
This book constitutes the thoroughly refereed post-conference proceedings of the Third SKLOIS (State Key Laboratory of Information Security) Conference on Information Security and Cryptology, Inscrypt
This state-of-the-art survey presents the outcome of the eSTREAM Project, which was launched in 2004 as part of ECRYPT, the European Network of Excellence in Cryptology (EU Framework VI). The goal of
This book constitutes the refereed proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, held in Toulouse, France, in July 2008.The 19 revised full papers presented tog
This book constitutes the refereed proceedings of the 6th International Conference On Smart Homes and and Health Telematics, ICOST 2008, held in Ames, IA, USA, in June/July 2008.The 24 revised full pa
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
The three volume set LNAI 5177, LNAI 5178, and LNAI 5179, constitutes the refereed proceedings of the 12th International Conference on Knowledge-Based Intelligent Information and Engineering Systems,
This book constitutes the proceedings of the 9th International Conference on Web Information Systems Engineering, WISE 2008, held in Auckland, New Zealand, in September 2008.The 17 revised full papers
This book contains a collection of thoroughly revised tutorial papers based on lectures given by leading researchers at the 4th International Summer School on the Reasoning Web, held in Venice, Italy,
This book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications of Functional Languages, IFL 2007, held in Freiburg, Germany in Sep
This book constitutes the refereed proceedings of the 5th VLDB Workshop on Secure Data Management, SDM 2008, held in Auckland, New Zealand, on August 24, 2008, in conjunction with VLDB 2008.The 11 rev
This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2007, held in Urbana, IL, USA, in O
This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East Conference on Software Engineering Techniques, CEE-SET 2007, held in Poznan, Poland,
This book constitutes the joint refereed proceedings of the 11th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2008 and the 12th International Work
This book constitutes the refereed proceedings of the 14th International Conference on Parallel Computing, Euro-Par 2008, held in Las Palmas de Gran Canaria, Spain, in August 2008.The 86 revised paper
This book constitutes the thoroughly refereed proceedings of the Second International Conference on Pairing-Based Cryptography, Pairing 2008, held in London, UK, in September 2008.The 20 full papers,