Abstract Computing Machines
The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic ...
Lee mas
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’ ...
Lee mas
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’ ...
Lee mas
Basics Masonry Construction - Basics / Nils Kummer
Masonry construction is usually the top priority in the constructive exercises during the course. The basic principles of ...
Lee mas
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, ...
Lee mas
Certification and Security in Inter-Organizational E-Services
This collection of papers offers real-life application experiences, research results and methodological proposals of direct ...
Lee mas
Dependable Embedded Systems
This book introduces readers to many new techniques for enhancing and optimizing reliability in embedded systems, which have ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
From Strategy to Execution
"In this Abstract, you will learn: 1) Why businesses must become innovative; 2) How to develop creative business models; ...
Lee masGlobal Specification and Validation of Embedded Systems
Global modelling and validation is required to master the design of systems made of heterogeneous components. These systems ...
Lee mas
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 ...
Lee mas
Holonic Execution: A BDI Approach
Holonic manufacturing has been an active area of research for the past decade. However, this work has been predominately ...
Lee mas
Mobile Service Computing
This book introduces readers to the background and principles of mobile service computing. It discusses various aspects of ...
Lee mas
RFID in Manufacturing
Information systems for manufacturing often follow a three-layer architecture based on an enterprise resource planning (ERP) ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
