Measurement, Modelling and Evaluation of Computing Systems

<p>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.</p>