Formal Languages, Automaton and Numeration Systems presents readers with a review of research related to formal language theory, combinatorics on words or numeration systems, such as Words, DLT...
A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such as railways, aeronautics, and the automotive...
The design, implementation and validation of avionics and aeronautical systems have become extremely complex tasks due to the increase of functionalities that are deployed in current avionics systems...
A comprehensive exploration of the mathematics behind the modeling and rendering of computer graphics scenes Mathematical Structures for Computer Graphics presents an accessible and intuitive...
A comprehensive new edition on mobile computing—covering both mobile and sensor data The new paradigm of pervasive computing was born from the needs of highly mobile workers to access and transfer...
System virtualization has become increasingly common in distributed systems because of its functionality and convenience for the owners and users of these infrastructures. In Scheduling of...
DisCSP (Distributed Constraint Satisfaction Problem) is a general framework for solving distributed problems arising in Distributed Artificial Intelligence. A wide variety of problems in artificial...
A comprehensive, practical book on software management that dispels real-world issues through relevant case studies Software managers inevitably will meet obstacles while trying to deliver quality...
In today’s digital environment, distributed systems are increasingly present in a wide variety of environments, ranging from public software applications to critical systems. Distributed Systems...
Based on their own experiences of in-depth case studies of software projects in international corporations, in this book the authors present detailed practical guidelines on the preparation, conduct,...
This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and...
How Geographic Redundancy Can Improve Service Availability and Reliability of Computer-Based Systems Enterprises make significant investments in geographically redundant systems to mitigate the very...
Enterprises and organizations of any kind embedded in today's economic environment are deeply dependent on their ability to take part in collaborations. Consequently, it is strongly required for them...
Real-time systems are used in a wide range of applications, including control, sensing, multimedia, etc. Scheduling is a central problem for these computing/communication systems since it is...
From theory to techniques, the first all-in-one resource for EIS There is a clear demand in advanced process industries, defense, and Internet and communication (VoIP) applications for intelligent...
A unique investigation of the state of the art in design, architectures, and implementations of advanced computational infrastructures and the applications they support Emerging large-scale adaptive...
Presenting a holistic and thoroughly practical investigation of the true nature of computer games that arms readers with a small yet powerful set of theories for developing unique approaches to...
A concise, engineering-oriented resource that provides practical support to IT professionals and those responsible for the quality of the software or systems they develop Software quality stems from...
Presents the state of the technology and points to future directions for semantic computing Semantic computing, a rapidly evolving interdisciplinary field, seeks to structure, design, and manipulate...
Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed...
