Quantitative Assessments of Distributed Systems

Methodologies and Techniques

Nonfiction, Science & Nature, Technology, Electronics
Cover of the book Quantitative Assessments of Distributed Systems by , Wiley
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9781119131137
Publisher: Wiley Publication: April 8, 2015
Imprint: Wiley-Scrivener Language: English
Author:
ISBN: 9781119131137
Publisher: Wiley
Publication: April 8, 2015
Imprint: Wiley-Scrivener
Language: English

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 systems and covering aspects such as performance evaluation, reliability/availability, energy efficiency, scalability, and sustainability. Specifically, techniques for checking and verifying if and how a distributed system satisfies the requirements, as well as how to properly evaluate non-functional aspects, or how to optimize the overall behavior of the system, are all discussed in the book. The scope has been selected to provide a thorough coverage on issues, models. and techniques relating to validation, evaluation and optimization of distributed systems. The key objective of this book is to help to bridge the gaps between modeling theory and the practice in distributed systems through specific examples.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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 systems and covering aspects such as performance evaluation, reliability/availability, energy efficiency, scalability, and sustainability. Specifically, techniques for checking and verifying if and how a distributed system satisfies the requirements, as well as how to properly evaluate non-functional aspects, or how to optimize the overall behavior of the system, are all discussed in the book. The scope has been selected to provide a thorough coverage on issues, models. and techniques relating to validation, evaluation and optimization of distributed systems. The key objective of this book is to help to bridge the gaps between modeling theory and the practice in distributed systems through specific examples.

More books from Wiley

Cover of the book Class by
Cover of the book China's Military Transformation by
Cover of the book Wiley Series 24 Securities Licensing Exam Review 2019 + Test Bank by
Cover of the book Fuel Cell Fundamentals by
Cover of the book ABC of Clinical Haematology by
Cover of the book Case Studies in Multicultural Counseling and Therapy by
Cover of the book Will Work for Fun by
Cover of the book Mathematische Statistik by
Cover of the book Emotional Healing For Dummies by
Cover of the book Wireless Optical Communications by
Cover of the book The Handbook of Computational Linguistics and Natural Language Processing by
Cover of the book The Best Damn Sales Book Ever by
Cover of the book Anechoic and Reverberation Chambers by
Cover of the book The Escape Manifesto by
Cover of the book Basic Bioscience Laboratory Techniques by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy