This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 9th International Middleware Conference 2008, held in Leuven, Belgium, in December 2008.The 21 revised full papers presented were
The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its a
This book constitutes the refereed proceedings of the 12th International Conference on Principles of Distributed Systems, OPODIS 2008, held in Luxor, Egypt, in December 2008.The 30 full papers and 11
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are
This book constitutes the refereed proceedings of the 24th International Conference on Logic Programming, ICLP 2008, held in Udine, Italy, in December 2008.The 35 revised full papers together with 2 i
This book constitutes the refereed proceedings of the Third International Workshop on Self-Organizing Systems, IWSOS 2008, held in Vienna, Austria, December 10-12, 2008.The 20 revised full papers and
This book constitutes the refereed proceedings of the 6th International Workshop, IWDW 2007, held in Guangzhou, China, in December 2007.The 24 revised full papers together with 3 invited papers were c
This volume constitutes the post-conference proceedings of the 4th International Cognitive Vision Workshop, ICVW 2008, held in Santorini, Greece, on May 12, 2008. The 11 papers presented were carefull
This book constitutes the refereed post-conference proceedings of the 14th International Workshop on Groupware: Design, Implementation, and Use, held in Omaha, Nebraska, USA, during September 14-18, 2
This book constitutes the refereed proceedings of the Third Pacific Rim Symposium on Image and Video Technology, PSIVT 2009, held in Tokyo, Japan, in January 2009.The 39 revised full papers and 57 pos
This book constitutes the thoroughly refereed post-conference proceedings of the 34th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2008, held in Durham, UK, in June/July
This book constitutes the refereed proceedings of the 10th International Conference on Distributed Computing and Networking, ICDCN 2009, held in Hyderabad, India, during January 3-6, 2009.The 20 paper
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008.The volume pr
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
This book constitutes the thoroughly refereed joint post-conference proceedings of two consecutive International Workshops on Learning Classifier Systems that took place in Seattle, WA, USA in July 20
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 19th International Conference on Algorithmic Learning Theory, ALT 2008, held in Budapest, Hungary, in October?2008, co-located with the 11th Inter
This book constitutes the refereed proceedings of the 4th International Conference on Advanced Data Mining and Applications, ADMA 2008, held in Chengdu, China, in October 2008.The 35 revised full pape
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