Models and Analysis for Distributed Systems
| Price | $112.14 - $138.48
|
| Rating |  |
| Authors | Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci |
| Publisher | Wiley |
| Published | 2011 |
| Pages | 368 |
| Language | English |
| Format | Paper book / ebook (PDF) |
| ISBN-10 | 184821314X |
| ISBN-13 | 9781848213142 |
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 Systems: Design and Algorithms - from the same editors - introduce the underlying concepts, the associated design techniques and the related security issues.
The objective of this book is to describe the state of the art of the formal methods for the analysis of distributed systems. Numerous issues remain open and are the topics of major research projects. One current research trend consists of profoundly mixing the design, modeling, verification and implementation stages. This prototyping-based approach is centered around the concept of model refinement.
- Serge Haddad (2 books)
- Fabrice Kordon (2 books)
- Laurent Pautet (2 books)
- Laure Petrucci (2 books)
Similar Books
by Brendan Burns
In the race to compete in today's fast-moving markets, large enterprises are busy adopting new technologies for creating new products, processes, and business models. But one obstacle on the road to digital transformation is placing too much emphasis on technology, and not enough on the types of processes technology enables. What if ...
Price: $27.01 | Publisher: O'Reilly Media | Release: 2018
Distributed Machine Learning with Python
by Guanhua Wang
Reducing time cost in machine learning leads to a shorter waiting time for model training and a faster model updating cycle. Distributed machine learning enables machine learning practitioners to shorten model training and inference time by orders of magnitude. With the help of this practical guide, you'll be able to put your Python ...
Price: $46.99 | Publisher: Packt Publishing | Release: 2022
by Liudong Xing, Gregory Levitin, Chaonan Wang
This book focuses on hot issues of dynamic system reliability, systematically introducing the reliability modeling and analysis methods for systems with imperfect fault coverage, systems with function dependence, systems subject to deterministic or probabilistic common-cause failures, systems subject to deterministic or probabilistic comp...
Price: $107.51 | Publisher: Wiley | Release: 2019
Design and Prototyping for Drupal 
by Dani Nordin
Itching to build interesting projects with Drupal, but confused by the way it handles design challenges? This concise guide helps small teams and solo website designers understand how Drupal works by demonstrating the ways it outputs content. You'll learn how to manage Drupal's output, design around it, and then turn your design...
Price: $12.99 | Publisher: O'Reilly Media | Release: 2011
Storm Blueprints: Patterns for Distributed Real-time Computation
by P. Taylor Goetz, Brian O'Neill
Storm is the most popular framework for real-time stream processing. Storm provides the fundamental primitives and guarantees required for fault-tolerant distributed computing in high-volume, mission critical applications. It is both an integration technology as well as a data flow and control mechanism, making it the core of many big dat...
Price: $24.99 | Publisher: Packt Publishing | Release: 2014
Model Driven Engineering for Distributed Real-Time Embedded Systems
by Jean-Philippe Babau, Mireille Blay-Fornarino, Joel Champeau, Sylvain Robert, Antonino Sabetta
Model-based development methods, and supporting technologies, can provide the techniques and tools needed to address the dilemma between reducing system development costs and time, and developing increasingly complex systems. This book provides the information needed to understand and apply model-drive engineering (MDE) and model-drive ar...
Price: $88.02 | Publisher: Wiley | Release: 2010
by Ivan Zelinka, Guanrong Chen, Otto E. Rossler, Vaclav Snasel, Ajith Abraham
Prediction of behavior of the dynamical systems, analysis and modeling of its structure is vitally important problem in engineering, economy and science today. Examples of such systems can be seen in the world around us and of course in almost every scientific discipline including such "exotic" domains like the earth's atmo...
Publisher: Springer | Release: 2013
Real-Time Systems Design and Analysis, 4th Edition
by Phillip A. Laplante, Seppo J. Ovaska
From power plants to medicine to avionics, the world increasingly depends on computer systems that can compute and respond to various excitations in real time. The Fourth Edition of Real-Time Systems Design and Analysis gives software designers the knowledge and the tools needed to create real-time software using a holistic, systems-based...
Price: $124.99 | Publisher: Wiley | Release: 2011