Quantitative assessments of distributed systems : methodologies and techniques /
"Distributed systems employed in critical infrastructures must fulfill dependability, timeliness, and performance specifications. Since these systems most often operate in an unpredictable environment, their design and maintenance require quantitative evaluation of deterministic and probabilist...
Saved in:
Group Author: | ; |
---|---|
Published: |
Scrivener Publishing : John Wiley and Sons, Inc.,
|
Publisher Address: | Hoboken : |
Publication Dates: | 2015. |
Literature type: | eBook |
Language: | English |
Series: |
Performability engineering series
Performability engineering series |
Subjects: | |
Online Access: |
http://onlinelibrary.wiley.com/book/10.1002/9781119131151 |
Summary: |
"Distributed systems employed in critical infrastructures must fulfill dependability, timeliness, and performance specifications. Since these systems most often operate in an unpredictable environment, their design and maintenance require quantitative evaluation of deterministic and probabilistic timed models. This need gave birth to an abundant literature devoted to formal modeling languages combined with analytical and simulative solution techniques The aim of the book is to provide an overview of techniques and methodologies dealing with such specific issues in the context of distributed |
Carrier Form: | 1 online resource. |
Bibliography: | Includes bibliographical references and index. |
ISBN: |
9781119131144 1119131146 9781119131151 1119131154 1118595211 (hardback) 9781118595213 (hardback) |
Index Number: | QA76 |
CLC: | TP311.13 |