Quantitative assessments of distributed systems : (Record no. 18628)

MARC details
000 -LEADER
fixed length control field 06918cam a2200769 i 4500
001 - CONTROL NUMBER
control field ocn906027939
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20220701010828.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION
fixed length control field m o d
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr |||||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 150331s2015 nju ob 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2015012821
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Language of cataloging eng
Description conventions rda
-- pn
Transcribing agency DLC
Modifying agency IDEBK
-- EBLCP
-- N$T
-- DG1
-- CDX
-- E7B
-- YDXCP
-- COO
-- RECBK
-- OCLCQ
-- DEBBG
-- K6U
019 ## -
-- 961625846
-- 962626286
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9781119131144
Qualifying information (pdf)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 1119131146
Qualifying information (pdf)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9781119131137
Qualifying information (epub)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 1119131138
Qualifying information (epub)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9781119131151
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 1119131154
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 1118595211
Qualifying information (hardback)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9781118595213
Qualifying information (hardback)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Cancelled/invalid ISBN 9781118595213
Qualifying information (hardback)
029 1# - (OCLC)
OCLC library identifier DEBBG
System control number BV043397672
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)906027939
Canceled/invalid control number (OCoLC)961625846
-- (OCoLC)962626286
042 ## - AUTHENTICATION CODE
Authentication code pcc
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.9.E94
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 013000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 014000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 018000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 067000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 032000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 037000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 052000
Source bisacsh
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.029
Edition number 23
084 ## - OTHER CLASSIFICATION NUMBER
Classification number TEC008000
Source of number bisacsh
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
245 00 - TITLE STATEMENT
Title Quantitative assessments of distributed systems :
Remainder of title methodologies and techniques /
Statement of responsibility, etc edited by Dario Bruneo and Salvatore Distefano.
264 #1 -
-- Hoboken :
-- John Wiley and Sons, Inc.,
-- 2015.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource.
336 ## -
-- text
-- txt
-- rdacontent
337 ## -
-- computer
-- n
-- rdamedia
338 ## -
-- online resource
-- nc
-- rdacarrier
490 0# - SERIES STATEMENT
Series statement Performability engineering series
490 1# - SERIES STATEMENT
Series statement Performability engineering series
520 ## - SUMMARY, ETC.
Summary, etc "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."--
-- Provided by publisher.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
588 0# -
-- Print version record and CIP data provided by the publisher.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Half Title page; Title page; Copyright page; Preface; Part I: Verification; Chapter 1: Modeling and Verification of Distributed Systems Using Markov Decision Processes; 1.1 Introduction; 1.2 Markov Decision Processes; 1.3 Markov Decision Well-Formed Net formalism; 1.4 Case study: Peer-to-Peer Botnets; 1.5 Conclusion; Acknowledgments; Appendix A Well-Formed Net Formalism; References; Chapter 2: Quantitative Analysis of Distributed Systems in Stoklaim: A Tutorial; 2.1 Introduction; 2.2 STOKLAIM: Stochastic KLAIM; 2.3 STOKLAIM Operational Semantics; 2.4 MoSL: Mobile Stochastic Logic
505 8# - FORMATTED CONTENTS NOTE
Formatted contents note 2.5 jSAM: Java Stochastic Model-Checker2.6 Leader Election in STOKLAIM; 2.7 Concluding Remarks; References; Chapter 3: Stochastic Path Properties of Distributed Systems: The CSLTA Approach; 3.1 Introduction; 3.2 The Reference Formalisms for System Definition; 3.3 The Formalism for Path Property Definition: CSLTA; 3.4 CSLTA at Work: A Fault-Tolerant Node; 3.5 Literature Comparison; 3.6 Summary and Final Remarks; References; Part II: Evaluation; Chapter 4: Failure Propagation in Load-Sharing Complex Systems; 4.1 Introduction; 4.2 Building Blocks; 4.3 Sand Box for Distributed Failures
505 8# - FORMATTED CONTENTS NOTE
Formatted contents note 4.4 SummaryReferences; Chapter 5: Approximating Distributions and Transient Probabilities by Matrix Exponential Distributions and Functions; 5.1 Introduction; 5.2 Phase Type and Matrix Exponential Distributions; 5.3 Bernstein Polynomials and Expolynomials; 5.4 Application of BEs to Distribution Fitting; 5.5 Application of BEs to Transient Probabilities; 5.6 Conclusions; References; Chapter 6: Worst-Case Analysis of Tandem Queueing Systems Using Network Calculus; 6.1 Introduction; 6.2 Basic Network Calculus Modeling: Per-Flow Scheduling
505 8# - FORMATTED CONTENTS NOTE
Formatted contents note 6.3 Advanced Network Calculus Modeling: Aggregate Multiplexing6.4 Tandem Systems Traversed by Several Flows; 6.5 Mathematical Programming Approach; 6.6 Related Work; 6.7 Numerical Results; 6.8 Conclusions; References; Chapter 7: Cloud Evaluation: Benchmarking and Monitoring; 7.1 Introduction; 7.2 Benchmarking; 7.3 Benchmarking with mOSAIC; 7.4 Monitoring; 7.5 Cloud Monitoring in mOSAIC's Cloud Agency; 7.6 Conclusions; References; Chapter 8: Multiformalism and Multisolution Strategies for Systems Performance Evaluation; 8.1 Introduction; 8.2 Multiformalism and Multisolution
505 8# - FORMATTED CONTENTS NOTE
Formatted contents note 8.3 Choosing the Right Strategy8.4 Learning by the Experience; 8.5 Conclusions and Perspectives; References; Part III: Optimization and Sustainability; Chapter 9: Quantitative Assessment of Distributed Networks Through Hybrid Stochastic Modeling; 9.1 Introduction; 9.2 Modeling of Complex Systems; 9.3 Performance Evaluation of KNXnet/IP Networks Flow Control Mechanism; 9.4 LCII: On-Line Risk Estimation of a Power-Telco Network; 9.5 Conclusion; Acknowledgements; References; Chapter 10: Design of it Infrastructures of Data Centers: An Approach Based on Business and Technical Metrics
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer systems
General subdivision Evaluation
-- Mathematics.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element System analysis
General subdivision Mathematics.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Electronic data processing
General subdivision Distributed processing
-- Mathematical models.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Quantitative research.
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element TECHNOLOGY & ENGINEERING
General subdivision Electronics
-- General.
Source of heading or term bisacsh
655 #4 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
655 #0 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Bruneo, Dario.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Distefano, Salvatore.
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Print version:
Title Quantitative assessments of distributed systems.
Place, publisher, and date of publication Hoboken : John Wiley and Sons, Inc., 2015
International Standard Book Number 9781118595213
Record control number (DLC) 2015010455
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Performability engineering series.
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="http://dx.doi.org/10.1002/9781119131151">http://dx.doi.org/10.1002/9781119131151</a>
Public note Wiley Online Library
994 ## -
-- 92
-- DG1

No items available.