Software Engineering

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...

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

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

The earliest work on agents may be traced at least to the ?rst conceptualization of the actor model by Carl Hewitt. In a paper in an AI conference ...

The International Conference on Autonomous Infrastructure, Management and Se- rity (AIMS 2010) was a single-track event integrating regular confere...

It is our great pleasure to present the proceedings of the Third International Workshop on Multiple Access Communications (MACOM) that was held in ...

This volume contains the papers presented at WS-FM 2009: The 6th Inter- tional Workshop on Web Services and Formal Methods held during September 4-...

Biology has inspired electronics from the very beginning: the machines that we now call computers are deeply rooted in biological metaphors. Pionee...

This book contains the proceedings of the 6th International Workshop on OpenMP held in Tsukuba City, Japan, in June 2010. The International Wo- sho...

This volume contains the proceedings of TAP 2010, the 4th International C- ference on Tests and Proofs held during July 12 in M´ alaga, Spain as pa...

Thepapers inthis volumewereselectedfor presentationatthe 4thInternational FrontiersofAlgorithmicsWorkshop(FAW2010),heldduringAugust11-13,2010 at Wu...

This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2...

While the areas of information management and management science are full of algorithmic challenges, the proliferation of data has called for the d...

This volume is the ?fth in a series that started in 2005, collecting papers from the Coordination, Organizations, Institutions and Norms (COIN) Wor...

The 16th annual International Conference on the Principles and Practice of Constraint Programming (CP 2010) was held in St. Andrews, Scotland, duri...

In 2010 the internationalfederated conferenceson Distributed Computing Te- niques (DisCoTec) took place in Amsterdam, during June 7-9. It was hoste...

Since 2008, Globe has been an annual international conference on data management in grid and peer-to-peer systems. Initially, grid and peer-to-peer...

It is our great pleasure to present the proceedings of the second RussiaTaiwan Symposium on Methods and Tools of Parallel Programming (MTPP 2010). ...

This volume contains the papers presented at the International GI/ITG C- ference on Measurement, Modelling and Evaluation of Computing Systems and ...

In a dynamic computing environment, such as the Grid, resource management plays a crucial role for making distributed resources available on-demand...

ETAPS 2010 was the 13th instance of the European Joint Conferences on T- oryandPracticeofSoftware. ETAPSisanannualfederatedconferencethatwas establ...

The 2010 edition of the Passive and Active Measurement Conference was the 11th of a series of successful events. Since 2000, the Passive and Active...

The Semantic Web aims at allowing knowledge to be freely accessed and - changed by software. It is now widely recognized that if the Semantic Web i...

This book profiles developers who have received the prestigious Apple Design Award for iPhone app excellence. You'll learn all about what makes the...

rd This book reports the scientific proceedings of the 23 International Symposium on High Performance Computing Systems and Applications. HPCS 2009...