Software Engineering

This volume contains papers from the technical program of the 6th European Semantic Web Conference (ESWC 2009), held from May 31 to June 4, 2009, in Heraklion, Greece.

The field of software engineering is characterized by speed and turbulence in many regards.

Majoreconomicupheavalscanhavethesortofe?

UNISCON 2009 (United Information Systems Conference) was the third conf- ence in the series that is based on the idea to pool smaller but highly interesting scienti?

"e;What a di?

Grid and Pervasive Computing (GPC) is an annual international conference devoted to the promotion and advancement of all aspects of grid and pervasive computing.

Thisvolumecontainsthe15paperspresentedinthetechnicalstrandoftheTrust 2009 conference, held in Oxford, UK in April 2009.

These are the conference proceedings of the 4th Haifa Veri?

The advances in wireless communication technologies and the proliferation of mobile devices have enabled the realization of intelligent environments for people to com- nicate with each other, interact with information-processing devices, and receive a wide range of mobile wireless services through various types of networks and systems everywhere, anytime.

Work practices and organizational processes vary widely and evolve constantly.

This book constitutes the refereed proceedings of the 6th International Conference on Service-Oriented Computing, ICSOC 2008, held in Sydney, Australia, in December 2008.

This book constitutes the refereed proceedings of the 21st International Conference on Architecture of Computing Systems, ARCS 2008, held in Dresden, Germany, in February 2008.

Wearepleasedtopresenttheproceedingsofthe14thMontereyWorkshop,which tookplaceSeptember10-13,2007inMonterey,CA,USA.

This book constitutes the refereed proceedings of the 5th International Conference on Distributed Computing and Internet Technology, ICDCIT 2008, held in New Delhi, India, in December 2008.

This book constitutes the refereed proceedings of the 6th Asian Symposium on Programming Languages and Systems, APLAS 2008, held in Bangalore, India, in December 2008.

This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008.

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on High Performance Computing for Computational Science, VECPAR 2008, held in Toulouse, France, in June 2008.

Since its inception in 1968, software engineering has undergone numerous changes.

This volume contains the proceedings of the 10th International Conference on Veri?

This book constitutes the refereed proceedings of the Second International Conference on Web Reasoning and Rule Systems, RR 2008, held in Karlsruhe, Germany in October/November 2008.

This book contains the best papers of the Second International Conference on So- ware and Data Technologies (ICSOFT 2007), held in Barcelona, Spain.

This book constitutes the refereed proceedings of the Third International Workshop on Self-Organizing Systems, IWSOS 2008, held in Vienna, Austria, December 10-12, 2008.

This book constitutes the refereed proceedings of the 4th International Conference on Graph Transformations, ICGT 2008, held in Leicester, UK, in September 2008.

This book constitutes the refereed proceedings of the 15th International Conference on High-Performance Computing, HiPC 2008, held in Bangalore, India, in December 2008.

Diagrams is an international and interdisciplinary conference series, covering all aspects of research on the theory and application of diagrams.

This volume constitutes the revised selected papers of the 6th International Workshop, DALT 2008, held as satellite workshop of AAMAS 2008, the 7th International Joint Conference on Autonomous Agents and Multiagent Systems, in Estoril, Portugal, on May 12, 2008.

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Runtime Verification, RV 2008, held in Budapest, Hungary, in March 2008 as satellite event of ETAPS 2008.

This book constitutes the proceedings of the Fifth European Performance Engineering Workshop, EPEW 2008, held in Palma de Mallorca, Spain, in September 24-25, 2008.

This book constitutes the refereed proceedings of the 5th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2008, held in Calvia, Mallorca, Spain, in September 2008.

The 2008 International Symposium on Rule Interchange and Applications (RuleML th 2008), collocated in Orlando, Florida, with the 11 International Business Rules - rum, was the premier place to meet and to exchange ideas from all fields of rules te- nologies.

This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008.

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Applications of Graph Transformations, AGTIVE 2007, held in Kassel, Germany, in October 2007.

For the sixth time, the German special interest group on Distributed Arti?

This book constitutes the refereed proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2008, held in Toulouse, France, during September 28-October 3, 2008.

This book constitutes the refereed proceedings of the 10th International Conference on Parallel Problem Solving from Nature, PPSN 2008, held in Dortmund, Germany, in September 2008.

This book constitutes the refereed proceedings of the 27th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2008, held in Newcastle upon Tyne, UK, in September 2008.

This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008.

This book constitutes the refereed proceedings of the 6th International Conference on Computational Methods in Systems Biology, CMSB 2008, held in Rostock, Germany, in September 2008.

This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008.

This book constitutes the refereed proceedings of the 8th International Conference on Evolvable Systems, ICES 2008, held in Prague, Czech Republic, in September 2008.

This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification.

This book constitutes the refereed proceedings of the 7th International Conference on Ad-Hoc, Mobile, and Wireless Networks, ADHOC-NOW 2008, held in Sophia-Antipolis, France, September 2008.

This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Software Measurement, IWSM-Mensura 2007, held in Palma de Mallorca, Spain, in November 2007.

This book constitutes the refereed proceedings of the 14th International Conference on Parallel Computing, Euro-Par 2008, held in Las Palmas de Gran Canaria, Spain, in August 2008.

This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East Conference on Software Engineering Techniques, CEE-SET 2007, held in Poznan, Poland, in October 2007.