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