This book constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2012, held in Stockholm, Sweden, in June 2012 as one of the DisCoTec 2012 events. The 12 revised full papers and 9 short pa…
This book constitutes the refereed proceedings of the 16th International Euro-Par Conference held in Ischia, Italy, in August/September 2010. The 90 revised full papers presented were carefully reviewed and selected from 256 submissions. The papers are organized in topical secti…
Computing power performance was important at times when hardware was still expensive, because hardware had to be put to the best use. Later on this criterion was no longer critical, since hardware had become inexpensive. Meanwhile, however, people have realized that performance …
Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is…
Master continuous integration, deployment and automated testing for Android apps. You'll see how to set up and tear down sandbox environments to test the end-user experience, where you'll learn how to manage a mobile device in addition to the build machine. Android Continuous In…
Master continuous integration, deployment and automated testing for Android apps. You'll see how to set up and tear down sandbox environments to test the end-user experience, where you'll learn how to manage a mobile device in addition to the build machine. Android Continuous In…
This book constitutes the revised papers of the 14th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2009, which was held in Rome, Italy, in May 2009. The 15 revised papers presented were carefully reviewed and selected from 25 submissions. The…
This Guide to Reliable Distributed Systems describes the key concepts, principles and implementation options for creating high-assurance cloud computing solutions. In combination with the Isis2 software platform, the text offers a practical path to success in this vital emerging…
This Guide to Reliable Distributed Systems describes the key concepts, principles and implementation options for creating high-assurance cloud computing solutions. In combination with the Isis2 software platform, the text offers a practical path to success in this vital emerging…
This book presents the latest developments in both qualitative and quantitative computational methods for reliability and statistics, as well as their applications. Consisting of contributions from active researchers and experienced practitioners in the field, it fills the gap b…
This book presents the latest research in the fields of reliability theory and its applications, providing a comprehensive overview of reliability engineering and discussing various tools, techniques, strategies and methods within these areas. Reliability analysis is one of the …
