This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 24 papers included in thi…
This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format du…
Examine the evolving enterprise security landscape and discover how to manage and survive risk. While based primarily on the author’s experience and insights at major companies where he has served as CISO and CSPO, the book also includes many examples from other well-known companies and provides guidance for a management-level audience. Managing Risk and Information Security provides thoug…
"This book exemplifies one of the most successful approaches to modeling and simulating [the] new generation of complex systems. FLAME was designed to make the building of large scale complex systems models straightforward and the simulation code that it generates is highly efficient and can be run on any modern technology. FLAME was the first such platform that ran efficiently on high performa…
This book shows healthcare professionals how to turn data points into meaningful knowledge upon which they can take effective action. Actionable intelligence can take many forms, from informing health policymakers on effective strategies for the population to providing direct and predictive insights on patients to healthcare providers so they can achieve positive outcomes. It can assist those …
This book examines the semiotic effects of protocols and algorithms at work in popular social media systems, bridging philosophical conversations in human-computer interaction (HCI) and information systems (IS) design with contemporary work in critical media, technology and software studies. Where most research into social media is sociological in scope, Neal Thomas shows how the underlying mat…
This book presents the technologies that empower edge intelligence, along with their use in novel IoT solutions. Specifically, it presents how 5G/6G, Edge AI, and Blockchain solutions enable novel IoT-based decentralized intelligence use cases at the edge of the cloud/edge/IoT continuum. Emphasis is placed on presenting how these technologies support a wide array of functional and non-functiona…
Artificial Intelligence and Evaluation: Emerging Technologies and Their Implications for Evaluation is a groundbreaking exploration of how the landscape of program evaluation will be redefined by artificial intelligence and other emerging digital technologies. In an era where digital technologies and artificial intelligence (AI) are rapidly evolving, this book presents a pivotal resource for e…
In the third i3-MARKET series book we focus on the best practices and simplest software methods and mechanisms that allow the i3-MARKET backplane reference implementation to be instantiated, tested and validated even before the technical expert and developer communities decide to integrate the i3-MARKET as a reference implementation or adopted open-source software tools. The purpose of this boo…
The intersection of AI, the Internet of Things (IoT) and edge computing has kindled the edge AI revolution that promises to redefine how we perceive and interact with the physical world through intelligent devices. Edge AI moves intelligence from the network centre to the devices at its edge, entrusting these endpoints to analyse data locally, make decisions, and provide real-time responses. R…