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
This book is devoted to graduate students and researchers with different scientific background (including physics, mathematics, biology, neuroscience, etc.) who wish to learn brain science beyond the
This book constitutes the refereed proceedings of the 4th International Conference on Information Systems Security, ICISS 2008, held in Hyderabad, India, in December 2008.The 15 revised full papers, 4
This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Motion in Games, held in Utrecht, The Netherlands, during June 14-17, 2008, in collaborat
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Entertainment Computing, ICEC 2008, held in Pittsburgh, PA, USA, in September 2008, und
This book constitutes the refereed proceedings of the 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2008, held in Detroit, MI, USA, in November 2008.T
The book constitutes the thoroughly refereed post-workshop proceedings of the First Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007, held in Cambridge, UK, in April 2007.The 35 revised full
This book constitutes the refereed proceedings of the 4th Usability Symposium of the Human-Computer Interaction and Usability Engineering Workgroup of the Austrian Computer Society, USAB 2008, held in
This book constitutes the thoroughly refereed post-conference proceedings of the International Conference on Information Networking, ICOIN 2007, held in Estoril, Portugal, in January 2007.The 82 revis
This book constitutes the refereed proceedings of the Third International Workshop on Security, IWSEC 2008, held in Kagawa, Japan, in November 2008.The 18 revised full papers presented together with 1
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 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 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
