Systems Modeling: Methodologies and Tools

Front Matter ....Pages i-vii
 Systems Modelling: Methodologies and Tools  (Antonio Puliafito, Kishor S. Trivedi)....Pages 1-7
Front Matter ....Pages 9-9
 SMVA: A Stable Mean Value Analysis Algorithm for Closed Systems with Load-Dependent Queues  (Lei Zhang, Douglas G. Down)....Pages 11-28
 Dispatching Discrete-Size Jobs with Multiple Deadlines to Parallel Heterogeneous Servers  (Esa Hyytiä, Rhonda Righter, Olivier Bilenne, Xiaohu Wu)....Pages 29-46
 Modelling and Efficient Solution of Multiple-Phased Systems  (Elvio Gilberto Amparore, Susanna Donatelli)....Pages 47-61
 Deterministic Network Calculus Analysis of Multicast Flows  (Steffen Bondorf, Fabien Geyer)....Pages 63-78
 Modeling Techniques for Pool Depletion Systems  (Davide Cerotti, Marco Gribaudo, Riccardo Pinciroli, Giuseppe Serazzi)....Pages 79-94
 Performance of a Single Server Queue Supported by an Intermittent Server  (Raymond A. Marie)....Pages 95-113
 Simulation from the Tail of the Univariate and Multivariate Normal Distribution  (Zdravko Botev, Pierre L’Ecuyer)....Pages 115-132
Front Matter ....Pages 133-133
 A Comparison of Markov Reward Based Resource-Latency Aware Heuristics for the Virtual Network Embedding Problem  (Francesco Bianchi, Francesco Lo Presti)....Pages 135-149
 Delay Efficient Load Balancing Scheme for Component Carrier Selection in Carrier Aggregation in LTE-A  (Aditi Gupta, Dharmaraja Selvamuthu, Subrat Kar)....Pages 151-163
 Modeling Security Requirements for VNE Algorithms: A Practical Approach  (Ramona Kühn, Andreas Fischer, Hermann de Meer)....Pages 165-179
 Performance Analysis of Data Traffic in Small Cells Networks with User Mobility  (Philippe Olivier, Florian Simatos, Alain Simonian)....Pages 181-197
Front Matter ....Pages 199-199
 A Technique to Identify Data Exchange Between Cloud Virtual Machines  (Nicola Bicocchi, Claudia Canali, Riccardo Lancellotti)....Pages 201-219
 Container Orchestration: A Survey  (Emiliano Casalicchio)....Pages 221-235
 A Cloud-Based Overlay Networking for the Internet of Things: Quantitative Evaluation  (Dario Bruneo, Salvatore Distefano, Francesco Longo, Giovanni Merlino, Antonio Puliafito)....Pages 237-250
Front Matter ....Pages 251-251
 Markovian Performance Evaluation with BuTools  (Gábor Horváth, Miklós Telek)....Pages 253-268
 J2CBROKER as a Service: A Service Broker Simulation Tool Integrated in OpenStack Environment  (Riccardo Di Pietro, Maurizio Giacobbe, Carlo Puliafito, Marco Scarpa)....Pages 269-285
 A Software Tool for the Evaluation of Transient Removal Methods in Discrete Event Stochastic Simulations  (Sushma Nagaraj, Armin Zimmermann)....Pages 287-301
 A House Appliances-Level Co-simulation Framework for Smart Grid Applications  (Abdalkarim Awad, Peter Bazan, Reinhard German)....Pages 303-317
Back Matter ....Pages 319-323