Quantitative assessments of distributed systems : methodologies and techniques / (Record no. 207967)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 06923cam a2200757 i 4500 |
| 001 - CONTROL NUMBER | |
| control field | ocn906027939 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20171025084434.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS | |
| 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 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781119131144 |
| Qualifying information | (pdf) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 1119131146 |
| Qualifying information | (pdf) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781119131137 |
| Qualifying information | (epub) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 1119131138 |
| Qualifying information | (epub) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781119131151 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 1119131154 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 1118595211 |
| Qualifying information | (hardback) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781118595213 |
| Qualifying information | (hardback) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Canceled/invalid ISBN | 9781118595213 |
| Qualifying information | (hardback) |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (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 |
| 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 |
| 042 ## - AUTHENTICATION CODE | |
| Authentication code | pcc |
| 049 ## - LOCAL HOLDINGS (OCLC) | |
| Holding library | MAIN |
| 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 |
| Number source | bisacsh |
| 245 00 - TITLE STATEMENT | |
| Title | Quantitative assessments of distributed systems : methodologies and techniques / |
| Statement of responsibility, etc. | edited by Dario Bruneo and Salvatore Distefano. |
| Medium | [electronic resource] |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Hoboken : |
| Name of producer, publisher, distributor, manufacturer | John Wiley and Sons, Inc., |
| Date of production, publication, distribution, manufacture, or copyright notice | 2015. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 online resource. |
| 336 ## - CONTENT TYPE | |
| Content type term | text |
| Content type code | txt |
| Source | rdacontent |
| 337 ## - MEDIA TYPE | |
| Media type term | computer |
| Media type code | n |
| Source | rdamedia |
| 338 ## - CARRIER TYPE | |
| Carrier type term | online resource |
| Carrier type code | nc |
| Source | rdacarrier |
| 490 0# - SERIES STATEMENT | |
| Series statement | Performability engineering series |
| 490 1# - SERIES STATEMENT | |
| Series statement | Performability engineering series |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc | Includes bibliographical references and index. |
| 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 |
| 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."-- |
| Assigning source | Provided by publisher. |
| 588 0# - SOURCE OF DESCRIPTION NOTE | |
| Source of description note | Print version record and CIP data provided by the publisher. |
| 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 | |
| Relationship information | 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 | http://onlinelibrary.wiley.com/book/10.1002/9781119131151 |
| Public note | Wiley Online Library |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | |
| Koha item type | Books |
No items available.