The aim of this handbook is to create, for the first time, a systematic account of the field of spatial logic. The book comprises a general introduction, followed by fourteen chapters by invited authors. Each chapter provides a self-contained overview of its topic, describing the principal results obtained to date, explaining the methods used to obtain them, and listing the most important open problems. Jointly, these contributions constitute a comprehensive survey of this rapidly expanding subject.

This book stems from the desire to systematize and put down on paper essential historical facts about the Web, a system that has undoubtedly changed our lives in just a few decades. But how did it manage to become such a central pillar of modern society, such an indispensable component of our economic and social interactions? How did it evolve from its roots to today? Which competitors, if any, did it have to beat out? Who are the heroes behind its success?These are the sort of questions that the book addresses. Divided into four parts, it follows and critically reflects on the Web's historical path. "Part I: The Origins" covers the prehistory of the Web. It examines the technology that predated the Web and fostered its birth. In turn, "Part II: The Web" describes the original Web proposal as defined in 1989 by Tim Berners-Lee and the most relevant technologies associated with it. "Part III: The Patches" combines a historical reconstruction of the Web's evolution with a more critical analysis of its original definition and the necessary changes made to the initial design. In closing, "Part IV: System Engineering" approaches the Web as an engineered infrastructure and reflects on its technical and societal success. The book is unique in its approach, combining historical facts with the technological evolution of the Web. It was written with a technologically engaged and knowledge-thirsty readership in mind, ranging from curious daily Web users to undergraduate computer science and engineering students.

This book constitutes the proceedings of the International Conference on Artificial Intelligence and Mobile Services, AIMS 2018, held as part of SCF 2018, in Seattle, WA, USA, in June 2018. The 20 papers presented in this volume were carefully reviewed and selected from numerous submissions. The papers cover different aspects of mobile services from business management to computing systems, algorithms and applications. They promote technological technological innovations in research and development of mobile services, including, but not limited to, wireless and sensor networks, mobile and wearable computing, mobile enterprise and eCommerce, ubiquitous collaborative and social services, machine-to-machine and Internet-of-things, clouds, cyber-physical integration, and big data analytics for mobility-enabled services

This book is a festschrift in honour of Mike Papazoglou's 65th birthday and retirement. It includes 20 contributions from leading researchers who have worked with Mike in his more than 40 years of academic research. Topics are as varied as Mike's and include service engineering, service management, services and human, IoT, and data-driven services.

The aim of this handbook is to create, for the first time, a systematic account of the field of spatial logic. The book comprises a general introduction, followed by fourteen chapters by invited authors. Each chapter provides a self-contained overview of its topic, describing the principal results obtained to date, explaining the methods used to obtain them, and listing the most important open problems. Jointly, these contributions constitute a comprehensive survey of this rapidly expanding subject.

This book constitutes the refereed proceedings of the 5th European Conference on Service-Oriented and Cloud Computing, ESOCC 2016, held in Vienna, Austria, in September 2016. The 16 full papers presented were carefully reviewed and selected from 33 submissions. The papers are organized in topical sections on policies and performance, adaptation, SLA-aware services, job placement, compositionality, and fault tolerance.