Measurement, Modelling and Evaluation of Computing Systems: 19th International Gi/ITG Conference, Mmb 2018, Erlangen, Germany, February 26-28, 2018, P

ISBN-13: 9783319749464 / Angielski / Miękka / 2018 / 344 str.

Reinhard German; Kai-Steffen Hielscher; Udo R. Krieger

Opis

This book constitutes the proceedings of the 19th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, MMB 2018, held in Erlangen, Germany, in February 2018. The 16 full papers, 4 PhD track papers, and 9 tool papers presented in this volume were carefully reviewed and selected from 42 submissions.

Spis treści

Full Papers.- Time-Based Maintenance Models under Uncertainty.- Markov Automata on Discount.- Markov Analysis for Optimum Caching as an Alternative to Belady's Algorithm.- Intrusion Detection for Sequence-based Attacks with Reduced Traffic Models.- Hidden Storage in Data Centers: Gaining Flexibility Through Cooling Systems.- Performance Benchmarking of Network Function Chain Placement Algorithms.- Towards Optimal Placement of Monitoring Units in Time-varying Networks under Centralized Control.- Estimating the Flow Rule Installation Time of SDN Switches when Facing Control Plane Delay.- Dynamic Control of Running Servers.- On the Value of Service Demand Estimation for Auto-Scaling.- Evaluating a Single-Server Queue with Asynchronous Speed Scaling.- Active Queue Management Based on Congestion Policing (CP-AQM).- Deficit Round Robin with Limited Deficit Savings (DRR-LDS) for Fairness among TCP Users.- Modeling the Performance of ARQ Error Control in an LTE Transmission System.- Catching Corner Cases in Network Calculus { Flow Segregation Can Improve Accuracy.- QoE Analysis of the Setup of Different Internet Services for FIFO Server Systems.- Industrial, Practical Experience and PhD Track Papers.- VirtuWind - An SDN- and NFV-based Architecture for Softwarized Industrial Networks.- A Modular Environment to Test SCADA Solutions for Wind Parks.- Evaluation of Single-Hop Beaconing with Congestion Control in IEEE WAVE and ETSI ITS-G5.- Practical QoE Evaluation of Adaptive Video Streaming.- Tool Papers.- A Domain-Specific Language and Toolchain for Performance Evaluation based on Measurements.- SLA Tool.- A Tool for Generating Automata of IEC60870-5-104 Implementations.- A Software Tool for the Compact Solution of the Chemical Master Equation.- Logical PetriNet - A Tool to Model Digital Circuit Petri Nets and Transform them into Digital Circuits.- ClassCast: A Tool for Class-Based Forecasting.- Collider - Parallel Experiments in Silico.- FunSpec4DTMC { A Tool for Modelling Discrete-Time Markov Chains Using Functional Specifications.- Model-based System Design and Evaluation of Image Processing Architectures with SimTAny Framework.