The resilience of computing systems includes their dependability as well as their fault tolerance and security. It defines the ability of a computing system to perform properly in the presence of various kinds of disturbances and to recover from any service degradation. These properties are immensely important in a world where many aspects of our daily life depend on the correct, reliable and secure operation of often large-scale distributed computing systems. Wolter and her co-editors grouped the 20 chapters from leading researchers into seven parts: an introduction and motivating examples, modeling techniques, model-driven prediction, measurement and metrics, testing techniques, case studies, and conclusions. The core is formed by 12 technical papers, which are framed by motivating real-world examples and case studies, thus illustrating the necessity and the application of the presented methods. While the technical chapters are independent of each other and can be read in any order, the reader will benefit more from the case studies if he or she reads them together with the related techniques. The papers combine topics like modeling, benchmarking, testing, performance evaluation, and dependability, and aim at academic and industrial researchers in these areas as well as graduate students and lecturers in related fields. In this volume, they will find a comprehensive overview of the state of the art in a field of continuously growing practical importance.

This edited volume explores the analytical possibilities of contrasting Brazil and the United Kingdom as examples of emerging and established powers, respectively. It is organised around several themes focusing on the roles of Brazil and the United Kingdom in the management of global economic governance, international development, international security, the politics of regional integration, global climate change governance, and the political leveraging of sports mega-events. Each chapter explores Brazil's and/or the UK's particular foreign policies and their resulting impact on these key areas of global governance and politics. The conceptual focus is on these states' motivations as either status-seekers (Brazil) or status-maintainers (UK) in the context of a fast moving international landscape. The chapters in this book directly or indirectly indicate that these states wish to draw attention to their aspiring or established positions as key global players through either visible foreign policy action and/or symbolic rhetoric. This book was originally published as a special issue of Global Society.

This edited volume explores the analytical possibilities of contrasting Brazil and the United Kingdom as examples of emerging and established powers, respectively. It is organised around several themes focusing on the roles of Brazil and the United Kingdom in the management of global economic governance, international development, international security, the politics of regional integration, global climate change governance, and the political leveraging of sports mega-events. Each chapter explores Brazil's and/or the UK's particular foreign policies and their resulting impact on these key areas of global governance and politics. The conceptual focus is on these states' motivations as either status-seekers (Brazil) or status-maintainers (UK) in the context of a fast moving international landscape. The chapters in this book directly or indirectly indicate that these states wish to draw attention to their aspiring or established positions as key global players through either visible foreign policy action and/or symbolic rhetoric. This book was originally published as a special issue of Global Society.

The resilience of computing systems includes their dependability as well as their fault tolerance and security. It defines the ability of a computing system to perform properly in the presence of various kinds of disturbances and to recover from any service degradation. These properties are immensely important in a world where many aspects of our daily life depend on the correct, reliable and secure operation of often large-scale distributed computing systems. Wolter and her co-editors grouped the 20 chapters from leading researchers into seven parts: an introduction and motivating examples, modeling techniques, model-driven prediction, measurement and metrics, testing techniques, case studies, and conclusions. The core is formed by 12 technical papers, which are framed by motivating real-world examples and case studies, thus illustrating the necessity and the application of the presented methods. While the technical chapters are independent of each other and can be read in any order, the reader will benefit more from the case studies if he or she reads them together with the related techniques. The papers combine topics like modeling, benchmarking, testing, performance evaluation, and dependability, and aim at academic and industrial researchers in these areas as well as graduate students and lecturers in related fields. In this volume, they will find a comprehensive overview of the state of the art in a field of continuously growing practical importance.

This book constitutes the refereed proceedings of the 6th International Workshop on Software Engineering for Resilient Systems, SERENE 2014, held in Budapest, Hungary, in October 2014. The 11 revised technical papers presented together with one project paper and one invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on design of resilient systems; analysis of resilience; verification and validation; and monitoring.

This book constitutes the thoroughly refereed proceedings of the 14 the European Workshop on Dependable Computing, EWDC 2013, held in Coimbra, Portugal, in May 2013. The 9 full papers and 6 short papers presented were carefully reviewed and selected from 24 submissions. Also included in the volume are 6 fast abstracts presenting work in progress or new ideas in the dependability area. The papers are organized in topical sections on wireless sensor networks; cloud computing and services; testing and fault detection, fault injection and benchmarking and dependable and secure computing.