Quantitative assessments of distributed systems : (Record no. 26635)
[ view plain ]
LIBRARY OF CONGRESS CONTROL NUMBER | |
---|---|
LC control number | 2015010455 |
ISBN | |
International Standard Book Number | 9781118595213 |
DEWEY DECIMAL CLASSIFICATION NUMBER | |
Call number | 004.029 |
TITLE STATEMENT | |
Title | Quantitative assessments of distributed systems : |
Subtitle | methodologies and techniques |
Statement of responsibility, etc. | edited by Dario Bruneo and Salvatore Distefano |
PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication | Hoboken : |
Publisher | Wiley-Scrivener, |
Date | c2015. |
PHYSICAL DESCRIPTION | |
Extent | xvi, 377 p. : |
Other Details | ill. ; |
Size | 25 cm. |
SERIES STATEMENT | |
Series statement | Performability engineering series |
BIBLIOGRAPHY, ETC. NOTE | |
Note | Includes bibliographical references and index. |
SUMMARY | |
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 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. |
SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Heading | Computer systems |
General | Evaluation |
-- | Mathematics |
SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Heading | System analysis |
General | Mathematics |
SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Heading | Electronic data processing |
General | Distributed processing |
-- | Mathematical models |
SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Heading | Quantitative research |
SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Heading | TECHNOLOGY & ENGINEERING / Electronics / General |
ADDED ENTRY | |
Personal name | Bruneo, Dario, |
Role | Edited by |
ADDED ENTRY | |
Personal name | Distefano, Salvatore, |
Role | Edited by |
ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | <a href="https://uowd.box.com/s/4yp1eg7rig2cqu3vou1j4g62s0tvumag">https://uowd.box.com/s/4yp1eg7rig2cqu3vou1j4g62s0tvumag</a> |
Public note | Location Map |
SUBJECT ADDED ENTRY--TOPICAL TERM | |
-- | 36725 |
SUBJECT ADDED ENTRY--TOPICAL TERM | |
-- | 36507 |
SUBJECT ADDED ENTRY--TOPICAL TERM | |
-- | 36726 |
SUBJECT ADDED ENTRY--TOPICAL TERM | |
-- | 4269 |
SUBJECT ADDED ENTRY--TOPICAL TERM | |
-- | 36727 |
ADDED ENTRY | |
-- | 36728 |
ADDED ENTRY | |
-- | 36729 |
Date last seen | Full call number | Barcode | Cost, replacement price | Price effective from | Koha item type | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Withdrawn status | Permanent location | Current location | Shelving location | Date acquired | Source of acquisition |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
26/01/2017 | 004.029 QU AN | T0028477 | 182.52 | 26/01/2017 | REGULAR | Dewey Decimal Classification | University of Wollongong in Dubai | University of Wollongong in Dubai | Main Collection | 16/06/2015 | AMAUS |