Author: Paolo Ballarini
Publisher: Springer Nature
ISBN: 3030918254
Category : Computers
Languages : en
Pages : 499
Book Description
This book constitutes the refereed proceedings of the 17th European Workshop on Computer Performance Engineering, EPEW 2021, and the 26th International Conference, on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2021, held in December 2021. The conference was held virtually due to COVID 19 pandemic. The 29 papers presented in this volume were carefully reviewed and selected from 39 submissions. The papers presented at the workshop reflect the diversity of modern performance evaluation, with topics ranging from modeling and analysis of network/control protocols and high performance/big data information systems, analysis of scheduling, blockchain technology, analytical modeling and simulation of computer and network systems.
Performance Engineering and Stochastic Modeling
Author: Paolo Ballarini
Publisher: Springer Nature
ISBN: 3030918254
Category : Computers
Languages : en
Pages : 499
Book Description
This book constitutes the refereed proceedings of the 17th European Workshop on Computer Performance Engineering, EPEW 2021, and the 26th International Conference, on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2021, held in December 2021. The conference was held virtually due to COVID 19 pandemic. The 29 papers presented in this volume were carefully reviewed and selected from 39 submissions. The papers presented at the workshop reflect the diversity of modern performance evaluation, with topics ranging from modeling and analysis of network/control protocols and high performance/big data information systems, analysis of scheduling, blockchain technology, analytical modeling and simulation of computer and network systems.
Publisher: Springer Nature
ISBN: 3030918254
Category : Computers
Languages : en
Pages : 499
Book Description
This book constitutes the refereed proceedings of the 17th European Workshop on Computer Performance Engineering, EPEW 2021, and the 26th International Conference, on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2021, held in December 2021. The conference was held virtually due to COVID 19 pandemic. The 29 papers presented in this volume were carefully reviewed and selected from 39 submissions. The papers presented at the workshop reflect the diversity of modern performance evaluation, with topics ranging from modeling and analysis of network/control protocols and high performance/big data information systems, analysis of scheduling, blockchain technology, analytical modeling and simulation of computer and network systems.
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
Author: Tiziana Margaria
Publisher: Springer Nature
ISBN: 3030614700
Category : Computers
Languages : en
Pages : 556
Book Description
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Verification Principles: Modularity and (De-)Composition in Verification; X-by-Construction: Correctness meets Probability; 30 Years of Statistical Model Checking; Verification and Validation of Concurrent and Distributed Systems. Part II, Engineering Principles: Automating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems. Part III, Applications: Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems.
Publisher: Springer Nature
ISBN: 3030614700
Category : Computers
Languages : en
Pages : 556
Book Description
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Verification Principles: Modularity and (De-)Composition in Verification; X-by-Construction: Correctness meets Probability; 30 Years of Statistical Model Checking; Verification and Validation of Concurrent and Distributed Systems. Part II, Engineering Principles: Automating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems. Part III, Applications: Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems.
Citizenship on the Margins
Author: Yonique Campbell
Publisher: Springer Nature
ISBN: 303027621X
Category : Political Science
Languages : en
Pages : 181
Book Description
This book critically explores the impact of national security, violence and state power on citizenship rights and experiences in Latin America and the Caribbean. Drawing on cross-country analyses and fieldwork conducted in two “garrisons,” a middle-class community and among policy elites in Jamaica—where high levels of violence, in(security) and transnational organized crime are transforming state power —the author argues that dominant responses to security have wider implications for citizenship. The security practices of the state often result in criminalization, police abuse, violation of the rights of the urban poor and increased securitization of garrison spaces. As the tension between national security and citizenship increases, there is a centrality of the local as a site where citizenship is (re)defined, mediated, interpreted, performed and given meaning. While there is a dominant security discourse which focuses on state security, individuals at the local level articulate their own narratives which reflect lived-experiences and the particularities of socio-political milieu.
Publisher: Springer Nature
ISBN: 303027621X
Category : Political Science
Languages : en
Pages : 181
Book Description
This book critically explores the impact of national security, violence and state power on citizenship rights and experiences in Latin America and the Caribbean. Drawing on cross-country analyses and fieldwork conducted in two “garrisons,” a middle-class community and among policy elites in Jamaica—where high levels of violence, in(security) and transnational organized crime are transforming state power —the author argues that dominant responses to security have wider implications for citizenship. The security practices of the state often result in criminalization, police abuse, violation of the rights of the urban poor and increased securitization of garrison spaces. As the tension between national security and citizenship increases, there is a centrality of the local as a site where citizenship is (re)defined, mediated, interpreted, performed and given meaning. While there is a dominant security discourse which focuses on state security, individuals at the local level articulate their own narratives which reflect lived-experiences and the particularities of socio-political milieu.
The Contestation of Expertise in the European Union
Author: Vigjilenca Abazi
Publisher: Springer Nature
ISBN: 3030543676
Category : Political Science
Languages : en
Pages : 252
Book Description
This book examines the position and role of expertise in European policy-making and governance. At a time when the very notion of expertise and expert advice is increasingly losing authority, the book addresses these challenges by empirically examining specific administrative processes and institutional designs in the European Union. The first part of the volume theorizes expertise and its contestation by examining accounts of the legitimate institutional design of knowledge production processes and exploring the theoretical links of Europeanisation and expertise. The second part of the book delves into empirical institutionalist accounts of expertise and maps the role of experts in a variety of EU institutions but also explains the implications when EU bodies themselves are in an ‘expert’ position, such as agencies. The book offers insights into how individual experts deal with the challenge of producing reports that will be heard by policy-makers, while at the same time preserving their independence. Broadening its scope, the book then expands the analysis to the role of advisory committees in light of the shift from a reliance primarily on in-house expertise to including more external experts in advisory groups in the European Commission and European Parliament as well as at the European External Action. In the third part, the book opens the lens to developments beyond the EU by taking into account two highly pertinent fields: climate change and trade. These fields are highly complex, fast-developing, and politicised issues, and the book engages with them in order to provide an outside-in perspective on expertise. Chapter 6 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Publisher: Springer Nature
ISBN: 3030543676
Category : Political Science
Languages : en
Pages : 252
Book Description
This book examines the position and role of expertise in European policy-making and governance. At a time when the very notion of expertise and expert advice is increasingly losing authority, the book addresses these challenges by empirically examining specific administrative processes and institutional designs in the European Union. The first part of the volume theorizes expertise and its contestation by examining accounts of the legitimate institutional design of knowledge production processes and exploring the theoretical links of Europeanisation and expertise. The second part of the book delves into empirical institutionalist accounts of expertise and maps the role of experts in a variety of EU institutions but also explains the implications when EU bodies themselves are in an ‘expert’ position, such as agencies. The book offers insights into how individual experts deal with the challenge of producing reports that will be heard by policy-makers, while at the same time preserving their independence. Broadening its scope, the book then expands the analysis to the role of advisory committees in light of the shift from a reliance primarily on in-house expertise to including more external experts in advisory groups in the European Commission and European Parliament as well as at the European External Action. In the third part, the book opens the lens to developments beyond the EU by taking into account two highly pertinent fields: climate change and trade. These fields are highly complex, fast-developing, and politicised issues, and the book engages with them in order to provide an outside-in perspective on expertise. Chapter 6 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Data Protection Beyond Borders
Author: Federico Fabbrini
Publisher: Bloomsbury Publishing
ISBN: 1509940685
Category : Law
Languages : en
Pages : 260
Book Description
This timely book examines crucial developments in the field of privacy law, efforts by legal systems to impose their data protection standards beyond their borders and claims by states to assert sovereignty over data. By bringing together renowned international privacy experts from the EU and the US, the book provides an accurate analysis of key trends and prospects in the transatlantic context, including spaces of tensions and cooperation between the EU and the US in the field of data protection law. The chapters explore recent legal and policy developments both in the private and law enforcement sectors, including recent rulings by the Court of Justice of the EU dealing with Google and Facebook, recent legislative initiatives in the EU and the US such as the CLOUD Act and the e-evidence proposal, as well as ongoing efforts to strike a transatlantic deal in the field of data sharing. All of the topics are thoroughly examined and presented in an accessible way that will appeal to scholars in the fields of law, political science and international relations, as well as to a wider and non-specialist audience. The book is an essential guide to understanding contemporary challenges to data protection across the Atlantic.
Publisher: Bloomsbury Publishing
ISBN: 1509940685
Category : Law
Languages : en
Pages : 260
Book Description
This timely book examines crucial developments in the field of privacy law, efforts by legal systems to impose their data protection standards beyond their borders and claims by states to assert sovereignty over data. By bringing together renowned international privacy experts from the EU and the US, the book provides an accurate analysis of key trends and prospects in the transatlantic context, including spaces of tensions and cooperation between the EU and the US in the field of data protection law. The chapters explore recent legal and policy developments both in the private and law enforcement sectors, including recent rulings by the Court of Justice of the EU dealing with Google and Facebook, recent legislative initiatives in the EU and the US such as the CLOUD Act and the e-evidence proposal, as well as ongoing efforts to strike a transatlantic deal in the field of data sharing. All of the topics are thoroughly examined and presented in an accessible way that will appeal to scholars in the fields of law, political science and international relations, as well as to a wider and non-specialist audience. The book is an essential guide to understanding contemporary challenges to data protection across the Atlantic.
Great Powers and Geopolitics
Author: Aharon Klieman
Publisher: Springer
ISBN: 3319162896
Category : Political Science
Languages : en
Pages : 271
Book Description
This book presents the theoretical-historical-comparative political framework needed to fully grasp the truly dynamic nature of 21st century global affairs. The author provides a realistic assessment of the shift from U.S predominance to a new mix of counterbalancing rival middle-tier and assertive regional powers, while highlighting those geopolitical zones of contention most critical for future international stability. The book will appeal to scholars and policy makers interested in understanding the contours of the emerging world order, and in identifying its principal shapers and leading political actors.
Publisher: Springer
ISBN: 3319162896
Category : Political Science
Languages : en
Pages : 271
Book Description
This book presents the theoretical-historical-comparative political framework needed to fully grasp the truly dynamic nature of 21st century global affairs. The author provides a realistic assessment of the shift from U.S predominance to a new mix of counterbalancing rival middle-tier and assertive regional powers, while highlighting those geopolitical zones of contention most critical for future international stability. The book will appeal to scholars and policy makers interested in understanding the contours of the emerging world order, and in identifying its principal shapers and leading political actors.
Hybrid Systems Biology
Author: Alessandro Abate
Publisher: Springer
ISBN: 331926916X
Category : Computers
Languages : en
Pages : 256
Book Description
This book constitutes the thoroughly referred post-workshop proceedings of the 4th International Workshop on Hybrid Systems biology, HSB 2015, held as part of the Madrid Meet 2015 event, in Madrid, Spain in September 2015. The volume presents 13 full papers together with 2 abstracts of invited sessions from 18 submissions. The scope of the HSB workshop is the general area of dynamical models in Biology with an emphasis on hybrid approaches — by no means restricted to a narrow class of mathematical models — and taking advantage of techniques developed separately in different areas.
Publisher: Springer
ISBN: 331926916X
Category : Computers
Languages : en
Pages : 256
Book Description
This book constitutes the thoroughly referred post-workshop proceedings of the 4th International Workshop on Hybrid Systems biology, HSB 2015, held as part of the Madrid Meet 2015 event, in Madrid, Spain in September 2015. The volume presents 13 full papers together with 2 abstracts of invited sessions from 18 submissions. The scope of the HSB workshop is the general area of dynamical models in Biology with an emphasis on hybrid approaches — by no means restricted to a narrow class of mathematical models — and taking advantage of techniques developed separately in different areas.
Great Powers, Climate Change, and Global Environmental Responsibilities
Author: Robert Falkner
Publisher: Oxford University Press
ISBN: 0192635735
Category : Political Science
Languages : en
Pages : 321
Book Description
This book is the first of its kind to examine the role of great powers in the international politics of climate change. It develops a novel analytical framework for studying environmental power in international relations, what counts as a great power in the environmental field, and what their special environmental responsibilities are. In doing so, the book connects International Relations (IR) debates on power inequality, great powers and great power management, with global environmental politics (GEP) scholarship. The book brings together leading scholars in IR and GEP whose contributions focus on major environmental powers (United States, China, European Union, India, Brazil, Russia) and international institutions and issue areas (UN Security Council, multilateral environmental agreements, international climate leadership, coal politics). The contributors to this volume examine how individual great powers have responded to the global climate challenge and whether they have accepted a special responsibility for stabilizing the global climate. They place emerging discourses on great power responsibility in the context of wider debates about international environmental leadership and climate change securitization. And they provide new insights into how international power inequality intersects with the global ecological crisis, and what special role great powers could and should play in the international fight against global warming.
Publisher: Oxford University Press
ISBN: 0192635735
Category : Political Science
Languages : en
Pages : 321
Book Description
This book is the first of its kind to examine the role of great powers in the international politics of climate change. It develops a novel analytical framework for studying environmental power in international relations, what counts as a great power in the environmental field, and what their special environmental responsibilities are. In doing so, the book connects International Relations (IR) debates on power inequality, great powers and great power management, with global environmental politics (GEP) scholarship. The book brings together leading scholars in IR and GEP whose contributions focus on major environmental powers (United States, China, European Union, India, Brazil, Russia) and international institutions and issue areas (UN Security Council, multilateral environmental agreements, international climate leadership, coal politics). The contributors to this volume examine how individual great powers have responded to the global climate challenge and whether they have accepted a special responsibility for stabilizing the global climate. They place emerging discourses on great power responsibility in the context of wider debates about international environmental leadership and climate change securitization. And they provide new insights into how international power inequality intersects with the global ecological crisis, and what special role great powers could and should play in the international fight against global warming.
Engineering and Philosophy
Author: Zachary Pirtle
Publisher: Springer Nature
ISBN: 3030700992
Category : Philosophy
Languages : en
Pages : 366
Book Description
Engineers love to build “things” and have an innate sense of wanting to help society. However, these desires are often not connected or developed through reflections on the complexities of philosophy, biology, economics, politics, environment, and culture. To guide future efforts and to best bring about human flourishment and a just world, Engineering and Philosophy: Reimagining Technology and Progress brings together practitioners and scholars to inspire deeper conversations on the nature and varieties of engineering. The perspectives in this book are an act of reimagination: how does engineering serve society, and in a vital sense, how should it.
Publisher: Springer Nature
ISBN: 3030700992
Category : Philosophy
Languages : en
Pages : 366
Book Description
Engineers love to build “things” and have an innate sense of wanting to help society. However, these desires are often not connected or developed through reflections on the complexities of philosophy, biology, economics, politics, environment, and culture. To guide future efforts and to best bring about human flourishment and a just world, Engineering and Philosophy: Reimagining Technology and Progress brings together practitioners and scholars to inspire deeper conversations on the nature and varieties of engineering. The perspectives in this book are an act of reimagination: how does engineering serve society, and in a vital sense, how should it.
Routledge Handbook of Public Policy in Africa
Author: Gedion Onyango
Publisher:
ISBN: 9780367699208
Category : Africa
Languages : en
Pages : 0
Book Description
"This handbook provides an authoritative and foundational disciplinary overview of African Public Policy and a comprehensive examination of the practicalities of policy analysis, policymaking processes, implementation and administration in Africa today. The book assembles a multidisciplinary team of distinguished and upcoming Africanist scholars, practitioners, researchers and policy experts working inside and outside Africa to analyse the historical and emerging policy issues in 21st-century Africa. While mostly attentive to comparative public policy in Africa, this book attempts to address some of the following pertinent questions: How can public policy be understood and taught in Africa? How does policymaking occur in unstable political contexts, or in states under pressure? Has the democratisation of governing systems improved policy processes in Africa? How have recent transformations, such as technological proliferation in Africa, impacted public policy processes? What are the underlying challenges and potential policy paths for Africa going forward? The contributions examine an interplay of prevailing institutional, political, structural challenges and opportunities for policy effectiveness to discern striking commonalities and trajectories across different African states. This is a valuable resource for practitioners, politicians, researchers, university students, and academics interested in studying and understanding how African countries are governed"--
Publisher:
ISBN: 9780367699208
Category : Africa
Languages : en
Pages : 0
Book Description
"This handbook provides an authoritative and foundational disciplinary overview of African Public Policy and a comprehensive examination of the practicalities of policy analysis, policymaking processes, implementation and administration in Africa today. The book assembles a multidisciplinary team of distinguished and upcoming Africanist scholars, practitioners, researchers and policy experts working inside and outside Africa to analyse the historical and emerging policy issues in 21st-century Africa. While mostly attentive to comparative public policy in Africa, this book attempts to address some of the following pertinent questions: How can public policy be understood and taught in Africa? How does policymaking occur in unstable political contexts, or in states under pressure? Has the democratisation of governing systems improved policy processes in Africa? How have recent transformations, such as technological proliferation in Africa, impacted public policy processes? What are the underlying challenges and potential policy paths for Africa going forward? The contributions examine an interplay of prevailing institutional, political, structural challenges and opportunities for policy effectiveness to discern striking commonalities and trajectories across different African states. This is a valuable resource for practitioners, politicians, researchers, university students, and academics interested in studying and understanding how African countries are governed"--