Buch, Englisch, 320 Seiten, Format (B × H): 155 mm x 235 mm
18th EAI International Conference, Valuetools 2025, Glasgow, UK, December 11-12, 2025, Proceedings
Buch, Englisch, 320 Seiten, Format (B × H): 155 mm x 235 mm
ISBN: 978-3-032-23900-6
Verlag: Springer Nature Switzerland AG
This book constitutes the refereed proceedings of the 18th EAI International Conference on Performance Evaluation Methodologies and Tools, Valuetools 2025, which took place in Glasgow, UK during December 11–12, 2025
The 18 full papers presented in this volume were carefully reviewed and selected from 46 submissions. They were organized into topical sections as follows: Queueing Models; Stochastic Models; Cyber Attacks; Tools; Networks and Routing.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
.- Queueing models
.- A queueing model under a threshold balking strategy based on recent customers’ decisions.
.- A simulation study of the sojourn time in queueing systems with stochastically delayed information.
.- Social welfare optimization in a queueing game with heterogeneous customers and partial information.
.- Stochastic Models
.- There are Several Ways out of the Hospital. And into.
.- Exact Persistent Stochastic Non-Interference.
.- Performance paradox in matching models with abandonment.
.- The Arnoldi Aggregation for Approximate Transient Distributions of Markov Chains.
.- Efficient Agent Based Simulation exploiting the model structure.
.- Efficient Guaranteed Controllers for Switched Dynamical Systems Using Probabilistic Approximations.
.- Cyber Attacks
.- Modeling Lateral Attack Containment via Honeypot Architectures in Virtualized Systems.
.- Multidomain Cyber Deception: A Multigraph Centrality Game Approach.
.- Tools
.- OOPredictor: Predicting Object-Oriented Accesses using Static Analysis.
.- Enhancing the PEPA Eclipse Plug-in.
.- DrawNET 4: a suite to create graph-based modeling tools.
.- Networks and Routing
.- Impact of Packetization on Network Calculus Analysis.
.- Demonstration of effective UCB-based routing in skill-based queues on real-world data.
.- Rewriting for efficient multiformalism performance modeling of a smart city edge server.
.- Localized Statistical Learning of Cell Loads in Cellular Networks.
