大葉大學圖書館 |

Quantitative assessments of distributed systems[electronic resource] :methodologies and techniques /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	004.029
書名/作者:	Quantitative assessments of distributed systems : methodologies and techniques // edited by Dario Bruneo and Salvatore Distefano.
其他作者:	Bruneo, Dario.
出版者:	Hoboken : : Scrivener Publishing :, 2015.
面頁冊數:	1 online resource.
標題:	Computer systems - Evaluation
標題:	System analysis - Mathematics.
標題:	Electronic data processing - Distributed processing
標題:	Quantitative research.
ISBN:	9781119131144
ISBN:	1119131146
ISBN:	9781119131151
ISBN:	1119131154
書目註:	Includes bibliographical references and index.
摘要、提要註:	"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. "--
電子資源:	http://onlinelibrary.wiley.com/book/10.1002/9781119131151

Quantitative assessments of distributed systems[electronic resource] :methodologies and techniques /
Quantitative assessments of distributed systemsmethodologies and techniques /[electronic resource] :edited by Dario Bruneo and Salvatore Distefano. - Hoboken :Scrivener Publishing :2015. - 1 online resource. - Performability engineering series. - Performability engineering series..

Includes bibliographical references and index.

"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. "--

ISBN: 9781119131144

LCCN: 2015012821Subjects--Topical Terms:

623434
Computer systems
--Evaluation

LC Class. No.: QA76.9.E94

Dewey Class. No.: 004.029

Quantitative assessments of distributed systems[electronic resource] :methodologies and techniques /
LDR:02630cam a2200349Ii 4500 001 437220
003 OCoLC
005 20150529111710.0
006 m o d
007 cr |||||||||||
008 160125s2015 nju ob 001 0 eng
010 $a 2015012821
020 $a 9781119131144 $q electronic bk.
020 $a 1119131146 $q electronic bk.
020 $a 9781119131151 $q electronic bk.
020 $a 1119131154 $q electronic bk.
020 $z 9781119131137
020 $z 1119131138
020 $z 9781118595213 (hardback)
020 $z 1118595211 (hardback)
035 $a (OCoLC)906027939
035 $a ocn906027939
040 $a DLC $b eng $c DLC $d OCLCO $d IDEBK $d EBLCP $d N $d DG1 $d CDX $d E7B $d YDXCP $d COO $d RECBK
050 4 $a QA76.9.E94
082 0 0 $a 004.029 $2 23
245 0 0 $a Quantitative assessments of distributed systems $h [electronic resource] : $b methodologies and techniques / $c edited by Dario Bruneo and Salvatore Distefano.
260 $a Hoboken : $b Scrivener Publishing : $b John Wiley and Sons, Inc., $c 2015.
300 $a 1 online resource.
490 1 $a Performability engineering series
504 $a Includes bibliographical references and index.
520 $a "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. "-- $c Provided by publisher.
588 $a Description based on print version record and CIP data provided by publisher; resource not viewed.
650 0 $a Computer systems $x Evaluation $x Mathematics. $3 623434
650 0 $a System analysis $x Mathematics. $3 587044
650 0 $a Electronic data processing $x Distributed processing $x Mathematical models. $3 623435
650 0 $a Quantitative research. $3 466313
700 1 $a Bruneo, Dario. $3 623431
700 1 $a Distefano, Salvatore. $3 623432
830 0 $a Performability engineering series. $3 623433
856 4 0 $u http://onlinelibrary.wiley.com/book/10.1002/9781119131151