This book constitutes the refereed proceedings of the 9th International Conference on Distributed Computing and Internet Technology, ICDCIT 2013, held in Bhubaneswar, India, in February 2013. The 40 f
Although the self-adaptability of systems has been studied in a wide range of disciplines, from biology to robotics, only recently has the software engineering community recognized its key role in ena
The two volumes LNCS 6553 and 6554 constitute the refereed post-proceedings of 7 workshops held in conjunction with the 11th European Conference on Computer Vision, held in Heraklion, Crete, Greece in
The two volumes LNCS 6553 and 6554 constitute the refereed post-proceedings of 7 workshops held in conjunction with the 11th European Conference on Computer Vision, held in Heraklion, Crete, Greece in
This book constitutes the thoroughly reviewed joint post-conference proceedings of two international workshops on Coordination, Organization, Institutions and Norms in Agent Systems, COIN@AAMAS 2011,
This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 13th International Middleware Conference, held in Montreal, Canada, in December 2012. The 24 revised full papers presented were ca
This book constitutes the refereed proceedings of the 14th International Conference on Distributed Computing and Networking, ICDCN 2013, held in Mumbai, India, during January 3-6, 2013. The 27 revised
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. The volume presents 29
Volume IX in the Transactions on Aspect-Oriented Software Development series contains papers on modularization, pointcut language, dynamic adaptation, event-based programming, aspect-aware design, sys
This book constitutes the refereed proceedings of the First International Conference on Big Data Analytics, BDA 2012, held in New Delhi, India, in December 2012. The 5 regular papers and 5 short paper
This book constitutes the refereed proceedings of the Third International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2012, held in Bhubaneswar, India, in December 2012. The 96 re
This book constitutes the refereed proceedings of the 6th International Conference on Ubiquitous Computing and Ambient Intelligence, UCAmI 2012, held in Vitoria-Gasteiz, Spain, in December 2012. The 7
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 7th International Conference on Logical Aspects of Comput
This book constitutes the refereed proceedings of the 8th International Workshop on Internet and Network Economics, WINE 2012, held in Liverpool, UK, in December 2012. The 36 revised full papers and 1
This book constitutes the refereed proceedings of the 7th Chinese Conference on Biometric Recognition, CCBR 2012, held in Guangzhou, China, in December 2012. The 46 revised full papers were carefully
This book constitutes the refereed proceedings of the 10th Asian Symposium on Programming Languages and Systems, APLAS 2012, held in Kyoto, Japan, in December 2012. The 24 revised full papers presente
This book constitutes the refereed proceedings of the 25th Australasian Joint Conference on Artificial Intelligence, AI 2012, held in Sydney, Australia, in December 2012. The 76 revised full papers pr
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Implementation and Application of Functional Languages, IFL 2011, held in Lawrence, Kan
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. Th
This book constitutes the thoroughly reviewed post-proceedings of the 9th International Workshop, EUMAS 2011, held in Maastricht, The Netherlands, in November 2011.The 16 revised full papers included
This book constitutes the proceedings of the 13th Pacific Rim Conference on Multimedia, held in Singapore during December 4-6, 2012.The 59 revised full papers presented were carefully reviewed and sel
This book constitutes the refereed proceedings of the 14th International Conference on Asia-Pacific Digital Libraries, ICADL 2012, held in Taipei, China, in November 2012. The 27 revised full papers,
This book constitutes the refereed proceedings of the 5th International Conference on Interactive Digital Storytelling, ICIDS 2012, San Sebastian, Spain, November 2012. The 14 revised full papers pres
This book constitutes the proceedings of the 20th International Symposium on Methodologies for Intelligent Systems, ISMIS 2012, held in Macau, China, in December 2012. The 42 regular papers and 11 sho
The two-volume set LNCS 7382 and 7383 constiutes the refereed proceedings of the 13th International Conference on Computers Helping People with Special Needs, ICCHP 2012, held in Linz, Austria, in Jul
Constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Learning and Intelligent Optimization, LION 6, held in Paris, France, in January 2012.
This book constitutes the refereed proceedings of the 4th International Conference on Progress in Cultural Heritage Preservation, EuroMed 2012, held in Lemesos, Cyprus, in October/November 2012. The 9
This book constitutes the refereed proceedings of the 5th International Symposium on Algorithmic Game Theory, SAGT 2012, held in Barcelona, Spain, in October 2012. The 22 revised full papers presented
This book constitutes the refereed proceedings of the 31st International Conference on Conceptual Modeling, ER 2012, held in Florence, Italy, in October 2012. The 24 regular papers presented together
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2012), held in Quebec, Canada, i
This book constitutes the refereed proceedings of the 2nd International Conference on Model and Data Engineering, MEDI 2012, held in Poitiers, France, in October 2012.The 12 revised full papers presen
The three-volume set LNCS 7510, 7511, and 7512 constitutes the refereed proceedings of the 15th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2012, hel
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised
This book constitutes the refereed proceedings of the Second International Workshop on Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data, STIA 2012, held in conjunction with M
This book constitutes the refereed proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012, held in Innsbruck, Austria, in September/October 201
This book constitutes the refereed proceedings of the 19th European MPI Users' Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. The 29 revised papers presented together with 4 invi
This book constitutes the proceedings of the 15th International Symposium on Research in Attacks, Intrusions and Defenses, former Recent Advances in Intrusion Detection, RAID 2012, held in Amsterdam,
This two-volume set LNAI 7523 and LNAI 7524 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases: ECML PKDD 2012, held in Bristol, U
