Mathematical theory of computation

This volume in the Springer Lecture Notes in Computer Science (LNCS) series contains 98 papers presented at the S+SSPR 2008 workshops.

PRIMA 2008 was the 11th in a series of conferences gathering researchers - voted to developing intelligent agents and multi-agent technologies from Asia and the Paci?

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.

Networked computers are ubiquitous, and are subject to attack, misuse, and abuse.

Declarative languages have long promised the ability to rapidly create easily maintainable software for complex applications.

Runtime veri?

As information technologies (IT) become specialized and fragmented, it is easy to lose sight that many topics in IT have common threads and because of this, advances in one sub-discipline may transmit to another.

In a wide variety of applications, accurate simulation of particle transport is necessary whether those particles be photons, neutrinos, or charged par- cles.

OnbehalfoftheOrganizingCommitteewearepleasedtopresenttheproceedings ofthe2007SymposiumonSoftwareComposition(SC2007).

We present in this volume a collection of revised selected papers from the ISCA Tutorial and Research Workshop on Nonlinear Speech Processing (NO- LISP 2007)held in Paris,France, 22-25May,2007.

This volume contains a selection of papers presented at the Eighth Workshop on Membrane Computing, WMC8, which took place in Thessaloniki, Greece, during June 25-28, 2008.

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.

The Workshop on Self-sustaining Systems (S3) is a forum for the discussion of topics relating to computer systems and languages that are able to bootstrap, implement, modify, and maintain themselves.

Welcome to the proceedings of the 2008 IFIP International Conference on Network and Parallel Computing (NPC 2008) held in Shanghai, China.

The European Conference on Software Architecture (ECSA) is the premier European conference dedicated to the field of software architecture, covering all architectural features of software engineering.

Conceptual modeling has long been recognized as the primary means to enable so- ware development in information systems and data engineering.

This book contains the best papers of the 9th International Conference on Enterprise Information Systems (ICEIS 2007), held in the city of Funchal, Madeira (Portugal), organized by the Institute for Systems and Technologies of Information, Control and Communication (INSTICC) and the University of Madeira, in collaboration with ACM/SIGMIS and AAAI.

On behalf of the Organizing Committee we are pleased to present the p- ceedings of the 2008 Symposium on Component-Based Software Engineering (CBSE).

Artificial intelligence (AI) is a dynamic field that is constantly expanding into new application areas, discovering new research challenges and facilitating the devel- ment of innovative products.

Models are used in all kinds of engineering disciplines to abstract from the various details of the modelled entity in order to focus on a speci?

The two volume set LNCS 5263/5264 constitutes the refereed proceedings of the 5th International Symposium on Neural Networks, ISNN 2008, held in Beijing, China in September 2008.

Artificial Intelligence is a branch of computer science that studies heuristic methods of solving complex problems.

It is a pleasure to welcome you to the proceedings of the second International Castle Meeting on Coding Theory and its Applications, held at La Mota Castle in Medina del Campo.