A Practical Theory of Reactive Systems
A man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, ...
Lire la suite
A Software Process Model Handbook for Incorporating Peoples Capabilities
A Software Process Model Handbook for Incorporating People's Capabilities offers the most advanced approach to date, empirically ...
Lire la suite
ANEMONA : A Mulit-agent Methodology for Holonic Manufacturing Systems
ANEMONA is a multi-agent system (MAS) methodology for holonic manufacturing system (HMS) analysis and design, based on HMS ...
Lire la suite
ARIS Design Platform
ARIS is ranked as the leading Business Process Modelling tool in the Gartner Quadrant for Business Process Analysis and Optimization. ...
Lire la suite
ARIS Design Platform : Getting Started with BPM
Containing tips, techniques and short cuts gained from practical experience, this book show how to use ARIS in an easy way, ...
Lire la suite
Abstraction, Refinement and Proof for Probabilistic Systems
Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency ...
Lire la suite
Abstraction, Reformulation, and Approximation
This volume contains the proceedings of SARA 2007, the seventh symposium, held at Whistler Village, British Columbia, Canada, ...
Lire la suite
Active Conceptual Modeling of Learning
This volume contains a collection of the papers presented during the 1st International ACM-L Workshop, which was held on ...
Lire la suite
Active Knowledge Modeling of Enterprises
An AKM solution is about exploiting the Web as a knowledge engineering medium, and developing knowledge-model-based families ...
Lire la suite
Ad-Hoc Networking
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lire la suite
Ad-Hoc, Mobile, and Wireless Networks (vol. # 3738)
This book constitutes the refereed proceedings of the 4th International Conference on Ad-Hoc Networks and Wireless, ADHOiNOW ...
Lire la suite
Adaptive Atmospheric Modeling
This is an overview of the development of adaptive techniques for atmospheric modeling. Written in an educational style, ...
Lire la suite
Adaptive Business Intelligence
In the modern information era, managers must recognize the competitive opportunities represented by decision-support tools. ...
Lire la suite
Adaptive Hypermedia and Adaptive Web-Based Systems
This book constitutes the refereed proceedings of the Second International Conference on Adaptive Hypermedia and Adaptive ...
Lire la suite
Adaptive Hypermedia and Adaptive Web-Based Systems : 5th International Conference, AH 2008, Hannover, Germany, July 29 - August 1, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Adaptive Hypermedia and Adaptive Web-Based ...
Lire la suite
Adaptive Mesh Refinement - Theory and Applications
Advanced numerical simulations that use adaptive mesh refinement (AMR) methods have now become routine in engineering and ...
Lire la suite
Adaptive Motion of Animals and Machines
Apparently, the ability of animals and robots to adapt in a real world cannot be explained or realized by one single function ...
Lire la suite
Adaptive Multimedial Retrieval: Retrieval, User, and Semantics : 5th International Workshop, AMR 2007, Paris, France, July 5-6, 2007 Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Adaptive Multimedia ...
Lire la suite
Adaptive Voltage Control in Power Systems
Adaptive Voltage Control in Power Systems, a self-contained blend of theory and novel application, is an in-depth treatment ...
Lire la suite
Adaptive and Natural Computing Algorithms
The ICANNGA series of Conferences has been organised since 1993 and has a long history of promoting the principles and understanding ...
Lire la suite
