Computer programming / software engineering

Since its first edition in 2003, the XML Database Symposium series (XSym) has been a forum for academics, practitioners, users and vendors to discuss the use of and synergy between databases and XML.

The aim of the CEEMAS conference series is to provide a biennial forum for the presentation of multi-agent research and development results.

These are the joint ?

This book constitutes the thoroughly refereed post-conference proceedings of the joint International Workshops on Semantic Web, Ontologies and Databases, SWDB-ODBIS 2007, co-located with the 33rd International Conference on Very Large Data Bases, VLDB 2007, held in Vienna, Austria, in September 2007.

The optical networking field is seen to be rapidly emerging with a strong and s- tained technological and business growth.

The series of East European Conferences on Advances in Databases and Information Systems (ADBIS) is an established and prestigious forum for the exchange of the latest research results in data management.

Visualization technology has become a crucial component of medical and b- medical data processing and analysis.

Program Chairs' Message th The 4 International Service Availability Symposium (ISAS 2007) continued with the tradition of its predecessors by bringing together researchers and practitioners from both academia and industry to address the problems of service availability.

The 13th International Conference on Principles and Practice of Constraint Programming (CP 2007) was held in Providence, RI, USA, September 23-27, 2007, in conjunction with the International Conference on Automated Pl- ning and Scheduling (ICAPS).

This book constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, HSCC 2007, held in Pisa, Italy in April 2007.

The 2007 IEEE International Workshop on Analysis and Modeling of Faces and Gestures(AMFG)isthethirdworkshopofitstypeorganizedinconjunctionwith ICCV, this time in Rio de Janeiro, Brazil.

SEAFOOD for Thought Headline-grabbing though it may be, the software industry's large-scale allo- tion of work to developing countries has not so far generated much technical analysis.

The International Conference on Life System Modeling and Simulation (LSMS) was formed to bring together international researchers and practitioners in the field of life system modeling and simulation as well as life system-inspired theory and methodology.

The Ubiquitous Computing conference series provides the premier forum in which to present original research results in all areas relating to the design, implementation, app- cation and evaluation of ubiquitous computing technologies.

This book constitutes the refereed proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, held in Toulouse, France, in July 2008.

Classical multiple-view geometry studies the reconstruction of a static scene - served by a rigidly moving camera.

The modern world has made available a wealth of new possibilities for interacting with computers, through advanced Web applications, while on the go with handheld smart telephones or using electronic tabletops or wall-sized displays.

The 13th International Conference on Implementation and Application of - tomata (CIAA 2008) was held at San Francisco State University, San Francisco, July 21-24, 2008.

The automatic analysis of signals and images together with the characterization and elaboration of their representation features is still a challenging activity in many relevant scientific and hi-tech fields such as medicine, biotechnology, and chemistry.

Software development for the automotive domain has become the enabling te- nologyforalmostallsafety-criticalandcomfortfunctionso?

* Semantic caching * Data warehousing and semantic data mining * Spatial, temporal, multimedia and multimodal semantics * Semantics in data visualization * Semantic services for mobile users * Supporting tools * Applications of semantic-driven approaches These topics are to be understood as specifically related to semantic issues.

Multicriterion optimization refers to problems with two or more objectives (normally in conflict with each other) which must be simultaneously satisfied.

This book contains the best papers of the Third International Conference on E-business and Telecommunications (ICETE), which was held in 2006 in Portugal.

This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008.

Enabling insight into large and complex datasets is a prevalent theme in visualization research for which different approaches are pursued.

This book constitutes the refereed proceedings of the 19th International Conference on Rewriting Techniques and Applications, RTA 2008, held in Hagenberg, Austria, July 15-17, in June 2008 as part of the RISC Summer 2008.

This volume contains the papers presented at the 22nd Annual IFIP WG 11.

This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008.

This book constitutes the thoroughly refereed proceedings of the 15th International Workshop on Fast Software Encryption, FSE 2008, held in Lausanne, Switzerland in February 2008.

The International Conference on Life System Modeling and Simulation (LSMS) was formed to bring together international researchers and practitioners in the field of life system modeling and simulation as well as life system-inspired theory and methodology.

This book constitutes the refereed proceedings of the 5th International Conference on Articulated Motion and Deformable Objects, AMDO 2008, held in Port d'Andratx, Mallorca, Spain, in July 2008.