Abstract Computing Machines
The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic ...
Lire la suite
Advances in Rule Interchange and Applications
The goal of RuleM is to develop an open, general, XML-based family of rule languages as intermediaries between various ‘specialized’ ...
Lire la suite
Advances in Rule Interchange and Applications
The goal of RuleM is to develop an open, general, XML-based family of rule languages as intermediaries between various ‘specialized’ ...
Lire la suite
CASCOM: Intelligent Service Coordination in the Semantic Web
A general architecture for service delivery and coordination in intelligent agent-based peer-to-peer (IP2P) environments, ...
Lire la suite
Certification and Security in Inter-Organizational E-Services
This collection of papers offers real-life application experiences, research results and methodological proposals of direct ...
Lire la suite
Dependable Embedded Systems
This book introduces readers to many new techniques for enhancing and optimizing reliability in embedded systems, which have ...
Lire la suite
Do-All Computing in Distributed Systems :Cooperation in the Presence of Adversity
Do-All Computing in Distributed Systems: Cooperation in the Presence of Adversity is the first book that presents an in depth ...
Lire la suite
Executing Magic in the Modern Era
This book explores the magical and medical history of executions from the eighteenth to the early twentieth century by looking ...
Lire la suite
Formal Methods in Systems Biology : First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, ...
Lire la suite
From Strategy to Execution
"In this Abstract, you will learn: 1) Why businesses must become innovative; 2) How to develop creative business models; ...
Lire la suiteGlobal Specification and Validation of Embedded Systems
Global modelling and validation is required to master the design of systems made of heterogeneous components. These systems ...
Lire la suite
Harnessing the Power of the Criminal Corpse
This open access book is the culmination of many years of research on what happened to the bodies of executed criminals in ...
Lire la suite
Holonic Execution: A BDI Approach
Holonic manufacturing has been an active area of research for the past decade. However, this work has been predominately ...
Lire la suite
Mobile Service Computing
This book introduces readers to the background and principles of mobile service computing. It discusses various aspects of ...
Lire la suite
RFID in Manufacturing
Information systems for manufacturing often follow a three-layer architecture based on an enterprise resource planning (ERP) ...
Lire la suite
Rule Representation, Interchange and Reasoning on the Web : International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings
This book is organized in topical sections on rule engineering, rule-based methodologies and applications in policies, electronic ...
Lire la suite
Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...
Lire la suite
