This book constitutes the refereed proceedings of the 19th Annual International Conference on Research in Computational Molecular ...
Lire la suite
The book covers topics such as foundations of cryptology, secret-key cryptosystems and hash functions, public-key cryptosystems, ...
Lire la suite
The book is discussing topics such as autonomy, incentives and trust, overlays and virtualization, load balancing and fault ...
Lire la suite
The main objective of this book is to provide tools for better understa- ing the fundamental tradeo?s and interdependencies ...
Lire la suite
People use software and other technical systems in many ways, and a considerable amount of time and energy may be spent integrating ...
Lire la suite
Responsibility and Dependable Systems is the first book to examine the relationship between responsibility and system dependability. ...
Lire la suite
Brings together some of the best writing by leading authorities on many key topics, including benchmarking, lean quality, ...
Lire la suite
Reuse Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits features a very detailed, ...
Lire la suite
Software reuse as an umbrella concept has been around for several decades. Over time, new techniques and approaches have ...
Lire la suite
This edited collection of essays from world-leading academic and industrial authors yields insight into all aspects of reverse ...
Lire la suite
The book describes the algorithms involved in recovering UML diagrams from the code and the techniques that can be adopted ...
Lire la suite
This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which ...
Lire la suite
This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held ...
Lire la suite
This State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing ...
Lire la suite
The book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational ...
Lire la suite
This Festschrift volume published to honor Jean-Pierre Jouannaud on his 60th Birthday on May 12, 2007, includes 13 refereed ...
Lire la suite
At a time when business demands urge companies to innovate and CIOs face increasing cost pressures, offshore delivery offers ...
Lire la suite
It explains how to model a rigid-body system and how to analyze it, and it presents the most comprehensive collection of ...
Lire la suite
While most of the current works in Artificial Intelligence (AI) focus on individual aspects of intelligence and cognition, ...
Lire la suite
This volume is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction ...
Lire la suite