Computer programming / software engineering

This book constitutes the thoroughly refereed proceedings of the 8th International Conference on Entertainment Computing, ICEC 2009, held in Paris, France, in September 2009, under the auspices of IFIP.

This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009.

rd This book constitutes a collection of extended versions of papers presented at the 23 IFIP TC7 Conference on System Modeling and Optimization, which was held in C- cow, Poland, on July 23-27, 2007.

This book constitutes the refereed proceedings of the 5th Asia Information Retrieval Symposium, AIRS 2009, held in Sapporo, Japan, in October 2009.

This volume contains the papers presented at 6th Conference on Geometric Modeling and Processing (GMP 2010) held in Castro Urdiales, Spain during June16-18,2010.

This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009.

It is our great pleasure to present the proceedings of the symposia and workshops on parallel and distributed computing and applications associated with the ICA3PP 2010 conference.

Advanced Science and Technology, Advanced Communication and Networking, Information Security and Assurance, Ubiquitous Computing and Multimedia Appli- tions are conferences that attract many academic and industry professionals.

This book constitutes the refereed proceedings of the Third International Conference on Provable Security, ProvSec 2009, held in Guangzhou, China, November 11-13, 2009.

This book constitutes the refereed proceedings of the 7th International Conference on Computer Vision Systems, ICVS 2009, held in Liege, Belgium, October 13-15, 2009.

The International Conference on Autonomous Infrastructure, Management and Se- rity (AIMS 2010) was a single-track event integrating regular conference paper s- sions, tutorials, keynotes, and a PhD student workshop into a highly interactive event.

The International Conference on Wireless and Mobile networks (WiMo) aims to bring together innovative ideas and new research trends in wireless and mobile networks.

It is our great pleasure to welcome you to the proceedings of the 10th annual event of the International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP).

This volume contains the proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010).

This volume contains the papers presented at the 14th SDL Forum, Bochum, Germany entitled Design for Motes and Mobiles.

This volume compiles the papers accepted for presentation at the 16thWorking C- ference on Requirements Engineering: Foundation for Software Quality (REFSQ 2010), held in Essen during June 30 and July 1-2, 2010.

This book constitutes the research papers presented at the 3rd International Workshop, RP 2009 held in Palaiseau, France, September 23-25, 2009.

This book constitutes the refereed proceedings of the 8th International Conference on Unconventional Computation, UC 2009, held in Ponta Delgada, Portugal, in September 2009.

This book contains the proceedings of two well established scienti?

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Workshop on Digital Watermarking, IWDW 2008, held in Busan, Korea, in November 2008.

This book constitutes the proceedings of the 14th European Symposium on Research in Computer Security, ESORICS 2009, held in Saint-Malo, France, in September 2009.

This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Information Hiding, IH 2009, held in Darmstadt, Germany, in June 2009.

Interest in agile development continues to grow: the number of practitioners adopting such methodologies is increasing as well as the number of researchers investigating the effectiveness of the different practices and proposing improvements.

This book constitutes the refereed proceedings of the 15th IAPR International Conference on Discrete Geometry for Computer Imagery, DGCI 2009, held in Montreal, Canada, in September/October 2009.

This volume contains the papers presented at the Third International Conference on Scalable Uncertainty Management, SUM 2009, in Washington, DC, September 28-30, 2009.

This book constitutes the thoroughly refereed post-workshop proceedings of eight international workshops held in Ulm, Germany, in conjunction with the 7th International Conference on Business Process Management, BPM 2009, in September 2009.

The Fourth International Workshop on Security (IWSEC 2009) was held at Toyama International Conference Center, Toyama, Japan, October 28-30, 2009.

Welcome back to the International Security Protocols Workshop.

This book constitutes the refereed proceedings of the Second International Conference on the Theory of Information Retrieval, ICTIR 2009, held in Cambridge, UK, in September 2009.

The 8th International Conference on Ad-Hoc Networks and Wireless (ADHOC-NOW 2009) was held September 22-25, 2009 in Murcia, Spain.

This book constitutes the refereed proceedings of the 23nd International Symposium on Distributed Computing, DISC 2009, held in Elche, Spain, in September 2009.

The IDEAL conference boast a vibrant and successful history dating back to 1998, th and this edition marked the 10 anniversary, an important milestone demonstrating the increasing popularity and high quality of the IDEAL conferences.

This book constitutes the refereed proceedings of the 9th IFIP-TC6 Networking Conference, Networking 2010.

This book constitutes the proceedings of the 2010 Joint International Working C- ference of the International Federation for Information Processing Working Groups 8.

This book constitutes the refereed proceedings of the 5th International Symposium on Stochastic Algorithms, Foundations and Applications, SAGA 2009, held in Sapporo, Japan, in October 2009.

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

This book constitutes the refereed proceedings of the 16th String Processing and Information Retrieval Symposium, SPIRE 2009 held in Saariselka, Finland in August 2009.

This book constitutes the refereed proceedings of the 16th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface, EuroPVM/MPI 2009, held in Espoo, Finland, September 7-10, 2009.

The 2009 International Symposium on Rule Interchange and Applications (RuleML 2009), collocated in Las Vegas, Nevada, with the 12th International Business Rules Forum, was the premier place to meet and to exchange ideas from all ?

This book constitutes the refereed proceedings of the 13th East European Conference on Advances in Databases and Information Systems, ADBIS 2009, held in Riga, Latvia, on September 7-10, 2009.

ThisbookpresentsselectedandrevisedpapersoftheSecondWorkshoponAd- tive and Learning Agents 2009 (ALA-09), held at the AAMAS 2009 conference in Budapest, Hungary, May 12.

The first edition of a conference is a significant organizational and scientific gamble.

It is our pleasure to welcome you to the proceedings of the Second International Symposium on Engineering Secure Software and Systems.

First established in 1993 with a conference in Elba, Italy, COSIT (the International C- ference on Spatial Information Theory) is widely acknowledged as one of the most - portant conferences for the field of spatial information theory.

The First International ICST Conference on Mobile Networks and Management (MONAMI) was held in Athens, Greece during October 13-14, 2009, hosted by the National Technical University of Athens.