| 000 | 07469cam a2200889 i 4500 | ||
|---|---|---|---|
| 001 | ocn906027939 | ||
| 003 | OCoLC | ||
| 005 | 20171224114855.0 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 150331s2015 nju ob 001 0 eng | ||
| 010 | _a 2015012821 | ||
| 040 |
_aDLC _beng _erda _epn _cDLC _dIDEBK _dEBLCP _dN$T _dDG1 _dCDX _dE7B _dYDXCP _dCOO _dRECBK _dOCLCQ _dDEBBG _dK6U |
||
| 019 |
_a961625846 _a962626286 |
||
| 020 |
_a9781119131144 _q(pdf) |
||
| 020 |
_a1119131146 _q(pdf) |
||
| 020 |
_a9781119131137 _q(epub) |
||
| 020 |
_a1119131138 _q(epub) |
||
| 020 | _a9781119131151 | ||
| 020 | _a1119131154 | ||
| 020 |
_a1118595211 _q(hardback) |
||
| 020 |
_a9781118595213 _q(hardback) |
||
| 020 |
_z9781118595213 _q(hardback) |
||
| 029 | 1 |
_aDEBBG _bBV043397672 |
|
| 035 |
_a(OCoLC)906027939 _z(OCoLC)961625846 _z(OCoLC)962626286 |
||
| 042 | _apcc | ||
| 050 | 0 | 0 | _aQA76.9.E94 |
| 072 | 7 |
_aCOM _x013000 _2bisacsh |
|
| 072 | 7 |
_aCOM _x014000 _2bisacsh |
|
| 072 | 7 |
_aCOM _x018000 _2bisacsh |
|
| 072 | 7 |
_aCOM _x067000 _2bisacsh |
|
| 072 | 7 |
_aCOM _x032000 _2bisacsh |
|
| 072 | 7 |
_aCOM _x037000 _2bisacsh |
|
| 072 | 7 |
_aCOM _x052000 _2bisacsh |
|
| 082 | 0 | 0 |
_a004.029 _223 |
| 084 |
_aTEC008000 _2bisacsh |
||
| 049 | _aMAIN | ||
| 245 | 0 | 0 |
_aQuantitative assessments of distributed systems : _bmethodologies and techniques / _cedited by Dario Bruneo and Salvatore Distefano. |
| 264 | 1 |
_aHoboken : _bJohn Wiley and Sons, Inc., _c2015. |
|
| 300 | _a1 online resource. | ||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bn _2rdamedia |
||
| 338 |
_aonline resource _bnc _2rdacarrier |
||
| 490 | 0 | _aPerformability engineering series | |
| 490 | 1 | _aPerformability engineering series | |
| 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."-- _cProvided by publisher. |
||
| 504 | _aIncludes bibliographical references and index. | ||
| 588 | 0 | _aPrint version record and CIP data provided by the publisher. | |
| 505 | 0 | _aHalf 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 | _a2.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 | _a4.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 | _a6.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 | _a8.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 |
_aComputer systems _xEvaluation _xMathematics. |
|
| 650 | 0 |
_aSystem analysis _xMathematics. |
|
| 650 | 0 |
_aElectronic data processing _xDistributed processing _xMathematical models. |
|
| 650 | 0 | _aQuantitative research. | |
| 650 | 7 |
_aTECHNOLOGY & ENGINEERING _xElectronics _xGeneral. _2bisacsh |
|
| 655 | 4 | _aElectronic books. | |
| 655 | 0 | _aElectronic books. | |
| 700 | 1 | _aBruneo, Dario. | |
| 700 | 1 | _aDistefano, Salvatore. | |
| 776 | 0 | 8 |
_iPrint version: _tQuantitative assessments of distributed systems. _dHoboken : John Wiley and Sons, Inc., 2015 _z9781118595213 _w(DLC) 2015010455 |
| 830 | 0 | _aPerformability engineering series. | |
| 856 | 4 | 0 |
_uhttp://onlinelibrary.wiley.com/book/10.1002/9781119131151 _zWiley Online Library |
| 938 |
_aEBL - Ebook Library _bEBLB _nEBL4043067 |
||
| 938 |
_aCoutts Information Services _bCOUT _n31145201 |
||
| 938 |
_aEBL - Ebook Library _bEBLB _nEBL1986955 |
||
| 938 |
_aebrary _bEBRY _nebr11048219 |
||
| 938 |
_aEBSCOhost _bEBSC _n985094 |
||
| 938 |
_aIngram Digital eBook Collection _bIDEB _ncis31145201 |
||
| 938 |
_aRecorded Books, LLC _bRECE _nrbeEB00607399 |
||
| 938 |
_aYBP Library Services _bYANK _n12390908 |
||
| 938 |
_aYBP Library Services _bYANK _n12377648 |
||
| 938 |
_aYBP Library Services _bYANK _n12678225 |
||
| 994 |
_a92 _bDG1 |
||
| 999 |
_c13986 _d13986 |
||