Software Engineering

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