Software Engineering

th Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled "e;Design for Dependable Systems"e; and re?

Thisvolumecontainsallofthe Research-Track,Industry-TrackandDemo-Track papers that were selected for presentation at the Fifth International Conference on Service-Oriented Computing (ICSOC 2007), which was held in Vienna, A- tria, September 17-20, 2007.

First International Conference on Data Management in Grid and Peer-to-Peer (P2P) Systems, Globe 2008 Data management can be achieved by different types of systems: from centralized file management systems to grid and P2P systems passing through distributed systems, par- lel systems, and data integration systems.

This volume contains the proceedings of the Third International Conference on Algebraic Biology (AB 2008).

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

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

This volume contains papers presented at the International Conference on Software Process (ICSP 2008) held in Leipzig, Germany, during May 10-11, 2008.

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

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.

Welcome to the proceedings of the 2007 IFIP International Conference on Network and Parallel Computing (NPC 2007) held in Dalian, China.

This book contains selected and revised papers of the European Symposium on Adaptive and Learning Agents and Multi-Agent Systems (ALAMAS), editions 2005, 2006 and 2007, held in Paris, Brussels and Maastricht.

Formal Concept Analysis (FCA) is a mathematical theory of concepts and c- ceptualhierarchyleadingtomethodsforconceptuallyanalyzingdataandkno- edge.

This is the eighth year that the Agent-Oriented Information Systems (AOIS) workshops have been held.

This is the joint post-proceedings of the 6th International Symposium on High Performance Computing (ISHPC-VI) and the First International Workshop on Advanced Low Power Systems 2006 (ALPS2006).

Parallelanddistributedprocessing,althoughwithinthefocusofcomputerscience researchforalongtime,isgainingmoreandmoreimportanceinawidespectrum of applications.

This volume contains the proceedings of the seventh International Conference on Web Engineering (ICWE2007), which was held in Como (Italy) in July 2007.

Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement of all aspects of reliable software technologies.

The 12th International Conference on Human-Computer Interaction, HCI Inter- tional 2007, was held in Beijing, P.

We are currently witnessing a proliferation in parallel and distributed processing technologies and applications.