Recent Advances in Constraints : 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers
This book address all aspects of constraint and logic programming, including foundational issues, implementation techniques, ...
Lire la suite
Recent Advances in Parallel Virtual Machine and Message Passing Interface : 15th European PVM/MPI Users’ Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings
This book is organized in topical sections on applications, collective operations, library internals, message passing for ...
Lire la suite
Recent Advances in Reinforcement Learning : 8th European Workshop, EWRL 2008, Villeneuve d’Ascq, France, June 30-July 3, 2008, Revised and Selected Papers
They are dedicated to the field of and current researches in reinforcement learning.There was an air of excitement as substantial ...
Lire la suite
Reliable Implementation of Real Number Algorithms: Theory and Practice : International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers
The book was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable ...
Lire la suite
Reliable Software Technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
Lire la suite
Self-Sustaining Systems : First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers
S3 is a forum for discussion of topics relating to computer systems and languages that are able to bootstrap, implement, ...
Lire la suite
Semantic Web, Ontologies and Databases : VLDB Workshop, SWDB-ODBIS 2007, Vienna, Austria, September 24, 2007, Revised Selected Papers
Among the topics addressed are semantics-aware data models and query languages; ontology-based views, mapping, transformations, ...
Lire la suite
Simulated Evolution and Learning : 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008. Proceedings
This volume covered are evolutionary learning; evolutionary optimisation; hybrid learning; adaptive systems; theoretical ...
Lire la suite
Simulation, Modeling, and Programming for Autonomous Robots : First International Conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008. Proceedings
The book address all current issues of robotics applications and simulation environments thereof, such as 3D robot simulation, ...
Lire la suite
Software Architecture : Second European Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings
This book focus on formalisms, technologies, and processes for describing, verifying, validating, transforming, building, ...
Lire la suite
Software Composition : 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings
The goal of the International Symposia on Software Composition is to advance the state of the research in component-based ...
Lire la suite
Software Process Improvement : 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings
This book includes organisational issues; productivity, effort estimation metrics; standards reference models; documentation ...
Lire la suite
Software and Data Technologies : First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers
This book is organized in topical sections on programming languages, software engineering, distributed and parallel systems, ...
Lire la suite
Software-Intensive Systems and New Computing Paradigms : Challenges and Visions
The objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges ...
Lire la suite
Stabilization, Safety, and Security of Distributed Systems : 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings
The book addresses all safety and security-related aspects of self-stabilizing systems in various areas of distributed computing ...
Lire la suite
Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
Lire la suite
The Challenge of Anticipation : A Unifying Framework for the Analysis and Design of Artificial Cognitive Systems
This book proposes a unifying approach for the analysis and design of artificial cognitive systems: The Anticipatory Approach. The ...
Lire la suite
The Common Component Modeling Example : Comparing Software Component Models
The Common Component Modelling Example makes it possible to compare different approaches and to validate existing models. ...
Lire la suite
The Once-Only Principle The TOOP Project
This Book State-of-the-Art Survey describes and documents the developments and results of the Once-Only Principle Project ...
Lire la suite
Theoretical Aspects of Computing - ICTAC 2008 : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...
Lire la suite
