People use software and other technical systems in many ways, and a considerable amount of time and energy may be spent integrating ...
Lire la suiteResponsibility and Dependable Systems is the first book to examine the relationship between responsibility and system dependability. ...
Lire la suiteBrings together some of the best writing by leading authorities on many key topics, including benchmarking, lean quality, ...
Lire la suiteSoftware reuse as an umbrella concept has been around for several decades. Over time, new techniques and approaches have ...
Lire la suiteThe book describes the algorithms involved in recovering UML diagrams from the code and the techniques that can be adopted ...
Lire la suiteThis book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which ...
Lire la suiteThis book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held ...
Lire la suiteThis State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing ...
Lire la suiteThe book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational ...
Lire la suiteThis Festschrift volume published to honor Jean-Pierre Jouannaud on his 60th Birthday on May 12, 2007, includes 13 refereed ...
Lire la suiteAt a time when business demands urge companies to innovate and CIOs face increasing cost pressures, offshore delivery offers ...
Lire la suiteIt explains how to model a rigid-body system and how to analyze it, and it presents the most comprehensive collection of ...
Lire la suiteWhile most of the current works in Artificial Intelligence (AI) focus on individual aspects of intelligence and cognition, ...
Lire la suiteThis volume is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction ...
Lire la suiteIn this book the authors provide a chronological survey and comprehensive archive of the early history of thought about machine ...
Lire la suiteThe papers presented here document the many innovations in robotics that result from RoboCup. A problem in any branch of ...
Lire la suiteThis book constitutes the ninth official archival publication devoted to RoboCup, documenting presentations at the RoboCup ...
Lire la suiteThis book constitutes the 10th official archival publication devoted to RoboCup. It documents the achievements presented ...
Lire la suiteThe book presented at the symposium focused on topics related to these three events and to artificial intelligence and robotics ...
Lire la suiteIn this book the author stresses software as the most important topic in modern robotics. In particular the book concentrates ...
Lire la suite