Software Engineering

Those who want to learn about AOM ?nd in this special issue a concise collection of descriptions of solid and mature AOM approaches. They only hav...

In the multi-agent systems area, linking theory to practical applications is still a fertile research topic. The aim of the workshop on Declarative...

This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT,...

This volumecontainsthe proceedingsof MPC2010,the 10th InternationalC- ferenceonthe MathematicsofProgramConstruction.ThebiennialMPCconf- encesaimtop...

The 2010 Symposium on Component-Based Software Engineering (CBSE 2010) was the 13th in a series of successful events that have grown into the main ...

This volume contains the proceedings of the 11th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2010),...

Why would you read this preface? As we start thinking what to write here, we wonder who is going to read these words. Fromourperspectivethatofwrite...

The Second International Conference on High-Performance Computing and Appli- tions (HPCA 2009) was a follow-up event of the successful HPCA 2004. I...

AccordingtoFrancoisBancillonandWonKim[SIGMODRECORD,Vol.19,No. 4, December 1990], object-oriented databases started in around 1983. Twen- seven year...

This volume contains revised and expanded versions of the papers presented at th the 15 Monterey Workshop, held during September 24-26, 2008 in Bud...

This volume presents the set of papers accompanying some of the lectures of the 10th International School on Formal Methods for the Design of Compu...

Algorithms are essential building blocks of computer applications. However, advancements in computer hardware, which render traditional computer mo...

This book constitutes the refereed proceedings of the 9th IFIP-TC6 Networking Conference, Networking 2010. Papers were solicited in three broad top...

Euro-Par is an annual series of international conferences dedicated to the p- motion and advancement of all aspects of parallel and distributed com...

This volume contains the papers presented at FMICS 2010, the 15th Inter- tional Workshop on Formal Methods for Industrial Critical Systems, which w...

Parallel Computing is at the verge of a new era. Multi-core processors make parallel computing a fundamental skill required by all computer scienti...

This volume contains the 69 papers presented at the 16th Annual European Symposium on Algorithms (ESA 2010), held in Liverpool during September 6-8...

Computers and microprocessors are indispensable in modern technical systems, their deployment spanning the domains automotive, railway, aerospace, ...

Resource discovery is the process of identifying and locating existing resources thathavea particularproperty. Aresourcecorrespondsto aninformation...

This volume contains the proceedings of the 7th European Performance En- neering Workshop (EPEW 2010), held in Bertinoro, Italy, on September 2324,...

A Message from the TAIC PART 2010 General Chair TAIC PART is a unique event that strives to combine aspects of a conference, a workshop and a retre...

Evolutionary computation (EC) techniques are e?cient, nature-inspired me- ods based on the principles of natural evolution and genetics. Due to the...

These multiple volumes (LNCS volumes 6016, 6017, 6018 and 6019) consist of the peer-reviewed papers from the 2010 International Conference on Compu...

These proceedings contain the papers presented at the 8th Internationl S- posium on Automated Technology for Veri?cation and Analysis held during S...