Computer Science

This book constitutes the refereed proceedings of four workshops held in conjunction with the Third European Conference, ServiceWave 2010, held in Ghent, Belgium, in December 2010. The book includes 2

This is the second volume of a two volume collection on Structural Complexity. This volume assumes as a prerequisite knowledge about the topics treated in Volume I, but the present volume itself is ne

This two volume set LNCS 7016 and LNCS 7017 constitutes the refereed proceedings of the 11th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2011, held in Melb

This two volume set LNCS 7016 and LNCS 7017 constitutes the refereed proceedings of the 11th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2011, held in Melb

This book constitutes the refereed proceedings of the 6th International Workshop on Internet Charging and QoS Technologies, ICQT 2011, held in Paris, France, in October 2011 collocated with the 7th In

This book constitutes the refereed proceedings of the 8th IFIP International Conference on Network and Parallel Computing, NPC 2011, held in Changsha, China, in October 2011. The 28 papers presented w

This book constitutes the refereed proceedings of the Second International Conference on Computational Logistics, ICCL 2011, held in Hamburg, Germany, in September 2011. The 26 revised full papers pre

This book constitutes the refereed proceedings of the International Workshop on Prostate Cancer Imaging, held in conjunction with MICCAI 2011, in Toronto, Canada, in September 2011. The 15 revised ful

This book constitutes the revised selected papers of the 5th International Conference on Semantics and Digital Media Technologies, SAMT 2010, held in Saarbrucken, Germany, in December 2010. As a resul

This book constitutes the refereed proceedings of the 10th International Conference on Ad-hoc, Mobile, and Wireless Networks, ADHOC-NOW 2011 held in Paderborn, Germany, July 18-20, 2011.The 23 revised

This book constitutes the refereed proceedings of the Third International Workshop on Software Engineering for Resilient Systems, SERENE 2011, held in Geneva, Switzerland, in September 2011. The 13 re

Service-oriented computing is a paradigm for developing software addressing key contemporary IT challenges. The result of the SENSORIA project, this book presents a novel and comprehensive approach to

This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. The 29 revised full papers presented together wi

This book constitutes the refereed proceedings of the 18th International Conference on Analytical and Stochastic Modeling Techniques and Applications, ASMTA 2011, held in Venice, Italyin June 2011.The

This book constitutes the proceedings of the Second International Conference on Information Processing in Computer-Assisted Interventions IPCAI 2011, held in Berlin, Germany, on June 22, 2011.The 17 p

The five-volume set LNCS 6782 - 6786 constitutes the refereed proceedings of the International Conference on Computational Science and Its Applications, ICCSA 2011, held in Santander, Spain, in June 2

The five-volume set LNCS 6782 - 6786 constitutes the refereed proceedings of the International Conference on Computational Science and Its Applications, ICCSA 2011, held in Santander, Spain, in June 2

This book constitutes the refereed proceedings of the 22nd Annual Symposium on Combinatorial Pattern Matching, CPM 2011, held in Palermi, Italy, in June 2011. The 36 revised full papers presented toge

This book constitutes the refereed proceedings of the 32nd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2011, held in Newcastle, UK, in

This book constitutes the proceedings of the 13th Asia-Pacific Conference APWeb 2011 held in conjunction with the APWeb 2011 Workshops XMLDM and USD, in Beijing, China, in April 2011. The 26 full pape

This book constitutes the refereed proceedings of the 9th International Conference, EGOV 2010, held in Lausanne, Switzerland, in August/September 2010. The 36 revised full papers presented were carefu

The three-volume set LNCS 6675, 6676 and 6677 constitutes the refereed proceedings of the 8th International Symposium on Neural Networks, ISNN 2011, held in Guilin, China, in May/June 2011. The total

During recent years a great deal of progress has been made in performance modelling and evaluation of the Internet, towards the convergence of multi-service networks of diverging technologies, support

This book constitutes the refereed proceedings of the 8th International Conference on Theory and Applications of Models of Computation, TAMC 2011, held in Tokyo, Japan, in May 2011. The 51 revised ful

All modern industries rely on large and complex software systems. In order toconstruct such large systems in a systematic manner, the focus of the developmentmethodologies has switched in the last two

The book aims at the identification of the organising concepts of some physical and biological phenomena, by means of an analysis of the foundations of mathematics and of physics. This is done in the

This book constitutes the refereed proceedings of the 21st International Symposium on Algorithms and Computation, ISAAC 2010, held in Jeju, South Korea in December 2010.The 77 revised full papers pres

Knowledge Mining Using Intelligent Agents explores the concept of knowledge discovery processes and enhances decision-making capability through the use of intelligent agents like ants, termites and h

In this 1991 book the author gives a broad overview of different areas of research in nonmonotonic reasoning, and presents some results and ideas based on his research. The guiding principles are: clarification of the different research activities in the area, which have sometimes been undertaken independently of each other, and appreciation of the fact that these research activities often represent different means to the same ends, namely sound theoretical foundations and efficient computation. The book begins with a discussion of the various types of nonmonotonic reasoning, their applications and their logics. Theorem proving techniques for these logics are also described. There then follow chapters dealing with formulations of nonmonotonic inheritance, and nonmonotonic reasoning based on nonmonotonic rules. The final chapter discusses the achievements in the field in the light of the famous Yale shooting example. The book will be welcomed by researchers in theoretical computer scien

The satisfiability (SAT) problem is central in mathematical logic and computing theory, representing a core of computationally intractable NP-complete problems. It is a fundamental hurdle in solving

This book constitutes the refereed proceedings of the 7th International XML Database Symposium, XSym 2010, held in Singapore, in September 2010.The 11 papers were carefully reviewed and selected from

This three volume set LNCS 6352, LNCS 6353, and LNCS 6354 constitutes the refereed proceedings of the 20th International Conference on Artificial Neural Networks, ICANN 2010, held in Thessaloniki, Gre

Weighted finite automata are classical nondeterministic finite automata in which the transitions carry weights. These weights may model, for example, the cost involved when executing a transition, the

This book constitutes the refereed proceedings of the twelfth International Conference, on Discovery Science, DS 2009, held in Porto, Portugal, in October 2009.The 35 revised full papers presented wer

Human Machine Interaction, or more commonly Human Computer Interaction, is the study of interaction between people and computers. It is an interdisciplinary field, connecting computer science with man

This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Mobile Information Technology for Emergency Response, MobileResponse 2008 held in Bonn,

This book constitutes the refereed proceedings of the 2nd International Symposium on End User Development, IS-EUD 2009, held in Siegen, Germany in March 2009.The 12 revised full papers presented toget

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

In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. They offer an introduction to the basics of th