Computer programming / software engineering

CiE 2008: Logic and Theory of Algorithms Athens, Greece, June 15-20, 2008 Computability in Europe (CiE) is an informal network of European scientists working on computability theory, including its foundations, technical devel- ment, and applications.

This book constitutes the refereed proceedings of the 5th European Public Key Infrastructure Workshop: Theory and Practice, EuroPKI 2008, held in Trondheim, Norway, in June 2008.

On behalf of the PROFES Organizing Committee, we are proud to present to you the proceedings of the 9th International Conference on Product-Focused Software Process Improvement (PROFES 2008) held in Frascati - Monteporzio Catone, Rome, Italy.

This book constitutes the refereed proceedings of the 6th European Conference on Interactive Television, EuroITV 2008, held in Salzburg, Austria, in July 2008.

The Annual International Computing and Combinatorics Conference is an annual forum for exploring research, development, and novel applications of computing and combinatorics.

This volume contains the papers presented at the 21st Annual IFIP WG 11.

The Eight International Conference on Product-Focused Software Process Impro- ment (PROFES 2007) brought together researchers and industrial practitioners to report new research results and exchange experiences and findings in the area of process and product improvement.

The book constitutes the refereed proceedings of the 4th International Conference on Distributed Computing in Sensor Systems, DCOSS 2008, held on Santorini Island, Greece, in June 2008.

This book constitutes the refereed proceedings of the 20th IFIP TC 6/WG 6.

Theseproceedingscontainthepapersofthe3rdEuropeanWorkshoponSecurity and Privacy in Ad Hoc and Sensor Networks (ESAS 2006), which was held in Hamburg, Germany, September 20-21, 2006, in conjunction with the 11th European Symposium on Research in Computer Security (ESORICS 2006).

The second WRAC, NASA/IEEE Workshop on Radical Agent Concepts, was held at NASA Goddard Space Flight Center, Greenbelt, MD, September 20-22, 2005.

This book constitutes the thoroughly refereed post-workshop proceedings of the First and the Second International Workshop on OpenMP, IWOMP 2005 and IWOMP 2006, held in Eugene, OR, USA, and in Reims, France, in June 2005 and 2006 respectively.

BNCOD has, for the past 27 years, provided a forum for researchers world-wide to gather to discuss the topical issues in databaseresearch.

This volume contains the proceedings of the International Conference on C- puter Aided Veri?

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

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

This book constitutes the refereed proceedings of the 14th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2008, held in Montpellier, France, in June 2008.

This book constitutes the thoroughly refereed post-workshop proceedings of 10 internationl workshops and 2 symposia held as satellite events of the 10th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2007, in Nashville, TN, USA, in September/October 2007 (see LNCS 4735).

Key sectors of modern economies depend highly on ICT.

The Indian Conference on Computer Vision, Graphics and Image Processing (ICVGIP) is a forum bringing together researchers and practitioners in these related areas, coming from national and international academic institutes, from government research and development laboratories, and from industry.

This book constitutes the proceedings of the 11th RoboCup International Symposium, held in Atlanta, GA, USA, in July 2007, immediately after the 2007 RoboCupSoccer, RoboCupRescue and RoboCupJunior competitions.

To prove the correctness of a program is to demonstrate, through impeccable mathematical techniques, that it has no bugs.

This book constitutes the refereed proceedings of the 6th International Conference on Wired/Wireless Internet Communications, WWIC 2008, held in Tampere, Finland, in May 2008.

This book constitutes the refereed proceedings of the 10th IFIP WG 6.

The inherent dangers of change are often summed up in the misquoted Chinese curse "e;May you live in interesting times.

This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2008, held in Xi'an, China, in June 2008.

This book constitutes the thoroughly refereed post-proceedings of the Third International Service Availability Symposium, ISAS 2006, held in Helsinki, Finland, in May 2006.

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007.

"e;The true sign of intelligence is not knowledge but imagination.

This book constitutes the thoroughly refereed post-conference proceedings of the 4th Asia Information Retrieval Symposium, AIRS 2008, held in Harbin, China, in May 2008.

This volume contains papers presented at TRUST 2008, the ?

The International Symposium on Smart Graphics 2007 was held during June 25-27, 2007 in Kyoto, Japan.

This volume contains the proceedings of DAIS 2008, the 8th IFIP International Conference on Distributed Applications and Interoperable Systems.

th The 13 edition of the International Conference on Reliable Software Technologies (Ada-Europe 2008) marked its arrival in Italy by selecting the splendid venue of Venice.

You hold in your hands the proceedings of ESAS 2007, the Fourth European Workshop on Security and Privacy in Ad hoc and Sensor Networks.

This volume was prepared to share with a larger audience the exciting ideas and work presented at an ICML 2006 workshop of the same title.

These proceedings contain papers from the 27th FORTE conference.

Software is present in every aspect of our lives, pushing us inevitably towards a world of distributed computing systems.

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

The papers contained in this volume were presented at the 19th Annual S- posium on Combinatorial Pattern Matching (CPM 2008) held at the University of Pisa, Italy, June 18-20, 2008.

This book constitutes the refereed proceedings of the 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008 - co-located with LOPSTR 2008, the International Symposium on Logic-based Program Synthesis and Transformation, PPDP 2008, the International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, and PLID 2008, the International Workshop on Programming Language Interference and Dependence.

We present in this volume the collection of finally accepted papers for the ninth e- tion of the IWANN conference ("e;International Work-Conference on Artificial Neural Networks"e;).