This book constitutes the refereed proceeding of the 6th International Conference on Coordination Models and Languages, COORDINATION 2004, held in Pisa, Italy in February 2004.
This book constitutes the refereed proceedings of the International Workshop on Human-Computer Interaction, HCI 2004, held at ECCV 2004 in Prague, Czech Republic in May 2004.
The LNCS journal 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 goal of the project is to provide the polish scientific community with an IT platform based on grid computer clusters, enabling e-science research in various fields.
These Transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks and multi-agent systems.
Yuri Gurevich has played a major role in the discovery and development of - plications of mathematical logic to theoretical and practical computer science.
A Step Towards Verified Software Worries about the reliability of software are as old as software itself; techniques for allaying these worries predate even James King's 1969 thesis on "e;A program verifier.
The need to evaluate computer and communication systems performance and dependability is continuously growing as a consequence of both the increasing complexity of systems and the user requirements in terms of timing behaviour.
Computer Vision has now reached a level of maturity that allows us not only to perform research on individual methods but also to build fully integrated computer vision systems of a signi cant complexity.
These proceedings contain papers presented at the 8th Discrete Geometry for Computer Imagery conference, held 17-19, March 1999 at ESIEE, Marne-la- Vall ee.
This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe 2002, held in Vienna, Austria, in June 2002.
This book presents a selection of revised full papers accepted for presentation at the First International Conference on Biology, Informatics, and Mathematics, JOBIM 2000, held in Montpellier, France, in May 2000.
This book constitutes the refereed proceedings of the Second International Conference Diagrams 2002, held in Callaway Gardens, Georgia, USA, in April 2002.
This book constitutes the refereed proceedings of the 5th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2001, held in Hong Kong, China in April 2001.
This volume contains the proceedings of the ACM SIGPLAN Workshop on L- guages, Compilers, and Tools for Embedded Systems (LCTES 2000), held June 18, 2000, in Vancouver, Canada.
This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on the Implementation of Functional Languages, IFL'99, held in Lochem, The Netherlands, in September 1999.
In August 1999, the Twelfth Workshop on Languages and Compilers for P- allel Computing (LCPC) was hosted by the Hierarchical Tiling Research group from the Computer Science and Engineering Department at the University of California San Diego (UCSD).
After some time of early experience Web Services are moving themselves from a new highly fragmented technology to a piece of nowadays infrastructures which promise to address various current challenges.
This volume constitutes the proceedings of the second International Conference on Generative Programming and Component Engineering (GPCE 2003), held September 22-25, 2003, in Erfurt, Germany, sponsored by the NetObjectDays German industrial software development event, in cooperation with the ACM SIGPLAN and SIGSOFT societies.
This book constitutes the refereed proceedings of the 14th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2003, held in Heidelberg, Germany in October 2002.
The 7th International Conference on Medical Imaging and Computer Assisted Intervention, MICCAI 2004, was held in Saint-Malo, Brittany, France at the "e;Palais du Grand Large"e; conference center, September 26-29, 2004.
The 1st Workshop on Service Assurance with Partial and Intermittent Resources (SAPIR 2004) was the first event in a series introducing the concept of pi-resources and bridging it with the emerging and important field of distributed and heavily shared resources.
Solving complex problems in real-world contexts, such as financial investment planning or mining large data collections, involves many different sub-tasks, each of which requires different techniques.
This state-of-the-art survey offers a renewed and refreshing focus on the progress in evolutionary computation, in neural networks, and in fuzzy systems.
This Festschrift volume, published in honor of Jean-Jaques Quisquater on the occasion of his 65th Birthday, contains 33 papers from colleagues all over the world and deals with all the fields to which Jean-Jaques dedicated his work during his academic career.
These Transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks and multi-agent systems.
