Computer science

This book constitutes the thoroughly refereed post-proceedings of the 5th IFIP WG 10.

The interest in mobile information technology for emergency response (ER) comes from the simple fact that an important part of this work is done in the ?

This volume contains the papers presented at the 11th International Conference on Theory and Applications of Satis?

This volume contains the proceedings ofthe 11th Workshop on Hybrid Systems: Computation and Control (HSCC 2008) held in St.

It is a great pleasure to present the proceedings of the 10th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services (MMNS 2007).

GeometricModelingandProcessing(GMP)isabiennialinternationalconference on geometric modeling, simulation and computing, which provides researchers and practitioners with a forum for exchanging new ideas, discussing new app- cations, and presenting new solutions.

This series constitutes a collection of selected papers presented at the International Conference on Medical Imaging and Informatics (MIMI2007), held during August 14-16, in Beijing, China.

OpenMP is a widely accepted, standard application programming interface (API) for high-level shared-memory parallel programming in Fortran, C, and C++.

We are proud to present the proceedings of the 11th European Conference on Research and Advanced Technology for Digital Libraries (ECDL 2007) which, following Pisa (1997), Heraklion (1998), Paris (1999), Lisbon (2000), Da- stadt (2001), Rome (2002), Trondheim (2003), Bath (2004), Vienna (2005) and Alicante (2006), took place on September 16-21, 2007 in Budapest, Hungary.

The RSA Conference is the largest regularly-staged computer security event, with over 350 vendors and many thousands of attendees.

This volume constitutes the proceedings of the 13th International Workshop on Groupware (CRIWG 2007).

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

This year the CDVE conference celebratedits fourth annual eventin an exciting city-Shanghai, China.

The 4th International Workshop on Medical Imaging and Augmented Reality, MIAR 2008, was held at the University of Tokyo, Tokyo, Japan during August 1-2, 2008.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in Edinburgh, UK, in July 2008.

Evolutionary computation (EC) techniques are e?

Biomolecular/DNA computing is now well established as an interdisciplinary field where chemistry, computer science, molecular biology, physics, and mathematics come together with the common purpose of fundamental scientific understanding of biology and chemistry and its applications.