Computer science

This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.

This book constitutes the refereed proceedings of the 5th European Semantic Web Conference, ESWC 2008, held in Tenerife, Canary Islands, Spain, in June 2008.

Welcome to the proceedings of the 2008 International Conference on Grid and Pervasive Computing (GPC 2008) which was held in Kunming, Yunnan, China, May 25-28, 2008.

As the variety and complexity of interactive systems increase, understanding how a system can dynamically capture relevant user needs and traits, and - tomatically adapting its interaction to this information, has become critical for devising e?

Thisvolumecontainstheproceedingsofthe?

Although everyone recognizes communication as a central concept in mul- agents, many no longer see agent communication as a research topic.

This book constitutes the refereed proceedings of the Third International Workshop on Mining Complex Data, MCD 2007, held in Warsaw, Poland, in September 2007, co-located with ECML and PKDD 2007.

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008.

Welcome to the proceedings of the 4th International Symposium on Parallel and Distributed Processing and Applications (ISPA 2006), which was held in Sorrento, Italy, December, 4-6 2006.

This volume contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?

Software validation is one of the most cost-intensive tasks in modern software production processes.

This book constitutes the thoroughly refereed proceedings of the 21st International Conference on Computer Processing of Oriental Languages, ICCPOL 2006, held in Singapore in December 2006, colocated with ISCSLP 2006, the 5th International Symposium on Chinese Spoken Language Processing.

Model-driven architecture, and model-driven approaches in general, holds the promise of moving software development towards a higher level of abstraction.

RISE 2006 constituted an international forum for researchers and practitioners interestedintheadvancementandrapidapplicationofnovel,integrated,orpr- ticalsoftwareengineeringapproaches,beingpartofamethodologicalframework, that apply to the development of either new or evolving applications and s- tems.

The 14th International Smalltalk Conference took place in the ?

The Australian Joint Conference on Artificial Intelligence series is steered by the Australian Computer Society's (ACS) National Committee on Artificial Intelligence and Expert Systems.

The rapid prevalence of Web applications requires new technologies for the - sign, implementation and management of Web-based information systems, and for the management and analysis of information on the Web.

This textbook contains the proceedings from the 3rd International Conference on Technologies for Interactive Digital Storytelling and Entertainment (TIDSE 2006).

This year, for the tenth time, the European Conference on Object-Oriented Programming (ECOOP) series, in cooperation with Springer, is glad to o?

The 19th Workshop on Languages and Compilers for Parallel Computing was heldinNovember2006inNewOrleans,LouisianaUSA.

This symposium has been the main forum for presentation of research results in the area of self-* for 17 years.

Thedesignandanalysisoftradingagentsandelectronictradingsystemsinwhich they are deployed involve ?

The biennial PAKM Conference Series o?

Artificial Intelligence embraces heuristic methods of solving complex problems for which exact algorithmic solutions are not known.

BIS 2007 was the tenth in a series of international conferences on business information systems.

This volume in the Lecture Notes of Artificial Intelligence represents the first book on human computing.

This volume contains the proceedings of the 4th Asian Symposium on Progr- mingLanguagesandSystems(APLAS2006),whichtookplaceinSydney,Japan, November 8-10, 2006.

The LNCS Jounal on Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution.

The 2007 NSF BioSurveillance Workshop (BioSurveillance 2007) was built on the success of the first NSF BioSurveillance Workshop, hosted by the University of Arizona's NSF BioPortal Center in March 2006.

The papers in this volume were presented at TMRA 2006, the International Conference on Topic Maps Research and Applications, held October 11-12, 2006, in Leipzig, Germany.