Software Engineering

These proceedings contain the papers presented at the 2005 IFIP International Conference on Network and Parallel Computing (NPC 2005), held in Beijing, China, between November 30 and December 3, 2005.

This volume contains the proceedings of EWSN 2006, the third in a series of - ropean workshops on wireless sensor networks.

Welcome to the proceedings of APPT 2005: the 6th International Workshop on Advanced Parallel Processing Technologies.

PRIMA is a series of workshops on agent computing and multi-agent systems, integrating the activities in Asia and Pacific Rim countries.

Welcome to the proceedings of ISPA 2005 which was held in the city of Nanjing.

This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series.

On behalf of the Organizing Committee I am pleased to present the proceedings of the 2006 Symposium on Component-Based Software Engineering (CBSE).

The idea to establish a European forum for academic and industrial researchers working on various aspects of performance modeling and analysis of manuf- toring and information systems gave rise to an annual series of workshops, - ferred to as European Performance Engineering Workshop (EPEW).

The 7th International Conference on Product Focused Software Process Improvement (PROFES 2006) brought together researchers and industrial practitioners for reporting new research results and exchanging experiences and findings in the area of process and product improvement.

Software reuse as an umbrella concept has been around for several decades.

The opening ceremony and pre-conference tutorials on various related topics were held on December 21.

"e;Intelligent Design and complex problem solving are twined like wife and husband.

Unbelievable, we have reached the seventh edition of the XP2k+n conference!

This volume contains the proceedings of the IFIP WG 6.

ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software.

ESAW 2005 took place at the Pine Bay Hotel in Kusadasi, Turkey at the end of the October 2005.

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

Networking 2006 was organized by the University of Coimbra, Portugal, and it was the fifth event in a series of International Conferences on Networking sponsored by the IFIP Technical Committee on Communication Systems (TC 6).

The second edition of the workshop on Declarative Agent Languages and Te- nologies (DALT 2004) was held July 2004 in New York City, and was a great success.

This volume contains papers presented at the first joint conference of the Software Pr- ess Workshop and the International Workshop on Software Process Simulation and Modeling (SPW/ProSim 2006) held in Shanghai, P.

Self-organisation, self-regulation, self-repair, and self-maintenance are promising conceptual approaches to deal with the ever increasing complexity of distributed interacting software and information handling systems.

This book presents a coherent and well-balanced survey of recent advances in software engineering approaches to the design and analysis of realistic large-scale multi-agent systems (MAS).

The ?

The workshop on Declarative Agent Languages and Technologies is a we- established venue for researchers interested in sharing their experiences in the areas of declarative and formal aspects of agents and multi-agent systems, and in engineering and technology.

The name "e;SPIN"e; refers both to a workshopon model checking and to a famous model checking tool.

ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software.

"e;Intelligent systems are those which produce intelligent o?

Introduction The PARA workshops in the past were devoted to parallel computing methods in science and technology.

This volume contains the papers presented at the Third International Conference on Security in Pervasive Computing (SPC 2006), held April 19-21, 2006 in York, UK.