Measurement, Modelling and Evaluation of Computing Systems 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020, Proceedings /
Measurement, Modelling and Evaluation of Computing Systems 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020, Proceedings / [electronic resource] :
edited by Holger Hermanns.
- 1st ed. 2020.
- XVIII, 279 p. 573 illus., 59 illus. in color. online resource.
- Programming and Software Engineering, 12040 2945-9168 ; .
- Programming and Software Engineering, 12040 .
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.
This book constitutes the proceedings of the 20th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, MMB 2020, held in Saarbrücken, Germany, in March 2020. The 16 full papers presented in this volume were carefully reviewed and selected from 32 submissions. They are dealing with scientific aspects of measurement, modelling and evaluation of intelligent systems including computer architectures, communication networks, distributed systems and software, autonomous systems, workflow systems, cyber-physical systems and networks, Internet-of-Things, as well as highly dependable, highly performant and highly secure systems.
9783030430245
10.1007/978-3-030-43024-5 doi
Software engineering.
Computer systems.
Application software.
Computer networks .
Computers, Special purpose.
Artificial intelligence.
Software Engineering.
Computer System Implementation.
Computer and Information Systems Applications.
Computer Communication Networks.
Special Purpose and Application-Based Systems.
Artificial Intelligence.
QA76.758
005.1
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.
This book constitutes the proceedings of the 20th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, MMB 2020, held in Saarbrücken, Germany, in March 2020. The 16 full papers presented in this volume were carefully reviewed and selected from 32 submissions. They are dealing with scientific aspects of measurement, modelling and evaluation of intelligent systems including computer architectures, communication networks, distributed systems and software, autonomous systems, workflow systems, cyber-physical systems and networks, Internet-of-Things, as well as highly dependable, highly performant and highly secure systems.
9783030430245
10.1007/978-3-030-43024-5 doi
Software engineering.
Computer systems.
Application software.
Computer networks .
Computers, Special purpose.
Artificial intelligence.
Software Engineering.
Computer System Implementation.
Computer and Information Systems Applications.
Computer Communication Networks.
Special Purpose and Application-Based Systems.
Artificial Intelligence.
QA76.758
005.1