Computer hardware

Key sectors of modern economies depend highly on ICT.

Researchneedsideas,discourseandexperimentationinordertothrive,butmore than ever we are expected to make researchimmediately 'relevant' and available to society and the world of commerce.

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.

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 volume contains papers presented at TRUST 2008, the ?

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

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.

This book constitutes the refereed proceedings of the First International Conference on Cryptology hosted in Africa, held in Casablanca, Morocco, in June 2008.

This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.

This volume contains the proceedings of the 4th International Conference on Service- Oriented Computing (ICSOC 2006), which took place in Chicago, USA, December 4-7, 2006.

This book constitutes the refereed proceedings of the 5th European Semantic Web Conference, ESWC 2008, held in Tenerife, Canary Islands, Spain, in June 2008.

Welcome to the proceedings of the 2008 International Conference on Grid and Pervasive Computing (GPC 2008) which was held in Kunming, Yunnan, China, May 25-28, 2008.

Although everyone recognizes communication as a central concept in mul- agents, many no longer see agent communication as a research topic.

VI realm between distributed computing and networking, namely, Modeling Biological Networks, Network Security, Algorithmic Issues in Wireless Sensor Networks, and Optical Networking.

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008.

Welcome to the proceedings of the 4th International Symposium on Parallel and Distributed Processing and Applications (ISPA 2006), which was held in Sorrento, Italy, December, 4-6 2006.

Model-driven architecture, and model-driven approaches in general, holds the promise of moving software development towards a higher level of abstraction.

It is our great pleasure to welcome you to the Eighth International Conference on Information and Communications Security (ICICS 2006), held in Raleigh, North Carolina, USA, December 4-7, 2006.

The second SKLOIS Conference on Information Security and Cryptology 2006 (Inscrypt, formerly CISC) was organized by the State Key Laboratory of Inf- mation Security of the Chinese Academy of Sciences.

These proceedings contain the papers selected for presentation at the sixth edition of the International Symposium on Web & Wireless Geographical Information Systems held in Hong Kong during December 2006.

The rapid prevalence of Web applications requires new technologies for the - sign, implementation and management of Web-based information systems, and for the management and analysis of information on the Web.

This year, for the tenth time, the European Conference on Object-Oriented Programming (ECOOP) series, in cooperation with Springer, is glad to o?

The 19th Workshop on Languages and Compilers for Parallel Computing was heldinNovember2006inNewOrleans,LouisianaUSA.

This symposium has been the main forum for presentation of research results in the area of self-* for 17 years.

The third international conference on Information Security Practice and - perience (ISPEC 2007) was held in Hong Kong, China, May 7 - 9, 2007.