Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance : 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, Proceedings /: 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, Proceedings. ([2020])
- Record Type:
- Book
- Title:
- Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance : 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, Proceedings /: 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, Proceedings. ([2020])
- Main Title:
- Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance : 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, Proceedings
- Other Titles:
- MMB 2020
- Further Information:
- Note: Holger Hermanns (ed.).
- Editors:
- Hermanns, Holger, 1967-
- Other Names:
- GI/ITG Conference on Measuring, Modelling, and Evaluating Computing, and Communication Systems, 20th
- Contents:
- Performance Analytics of a Virtual Reality Streaming Model.- To Fail Or Not To Fail: Predicting Hard Disk Drive Failure Time Windows.- Concurrent MDPs with Finite Markovian Policies.- A Stochastic Automata Network Description for Spatial DNA-Methylation Models.- An ns-3 Model for Multipath Communication with Terrestrial and Satellite Links.- Model-based Performance Predictions for SDN-based Networks.- Performance Analysis for Loss Systems with Many Subscribers .- On the Stochastic End-to-End Delay Analysis in Sink Trees Under Independent and Dependent Arrivals.- Graph-based Mobility Models: Asymptotic and Stationary Node Distribution.- Parallelization of EM-Algorithms for Markovian Arrival Processes.- It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models.- An Efficient Brute Force Approach to Fit Finite Mixture Distributions.- Freight Train Scheduling in Railway Systems.- A Domain Specific Language and Toolset for Requirements Analysis of Safety-Critical Cyber-Physical Systems.- Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets.
- Publisher Details:
- Cham, Switzerland : Springer
- Publication Date:
- 2020
- Extent:
- 1 online resource
- Subjects:
- 004.6
Telecommunication systems -- Evaluation -- Congresses
Computer systems -- Evaluation -- Congresses
Computer software -- Evaluation -- Congresses
Computer software -- Evaluation
Computer systems -- Evaluation
Telecommunication systems -- Evaluation
Electronic books
Conference papers and proceedings - Languages:
- English
- ISBNs:
- 9783030430245
3030430243 - Related ISBNs:
- 9783030430238
- Notes:
- Note: Includes bibliographical references and author index.
Note: Online resource; title from PDF title page (SpringerLink, viewed April 1, 2020). - Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.495804
- Ingest File:
- 03_062.xml