


default search action
7th PASM 2014: Newcastle-upon-Tyne, UK
- Jeremy T. Bradley, William J. Knottenbelt, Nigel Thomas:
Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, PASM 2014, Newcastle-upon-Tyne, UK, May 2014. Electronic Notes in Theoretical Computer Science 310, Elsevier 2015 - Jeremy T. Bradley, William J. Knottenbelt, Nigel Thomas:
Preface. 1-3 - Alberto Avritzer, Laura Carnevali, Hamed Ghasemieh, Lucia Happe
, Boudewijn R. Haverkort
, Anne Koziolek
, Daniel S. Menasché, Anne Remke, Sahra Sedigh Sarvestani
, Enrico Vicario
:
Survivability Evaluation of Gas, Water and Electricity Infrastructures. 5-25 - Luca Bortolussi
, Jane Hillston, Mirco Tribastone
:
Fluid Performability Analysis of Nested Automata Models. 27-47 - Davide Cerotti
, Marco Gribaudo
, Pietro Piazzolla
, Giuseppe Serazzi:
Asymptotic Behavior and Performance Constraints of Replication Policies. 49-63 - Matthew Forshaw
, Andrew Stephen McGough, Nigel Thomas:
Energy-efficient Checkpointing in High-throughput Cycle-stealing Distributed Systems. 65-90 - Marco Gribaudo
, Mauro Iacono
, Stefano Marrone
:
Exploiting Bayesian Networks for the Analysis of Combined Attack Trees. 91-111 - Leonardo Montecchi
, Nicola Nostro
, Andrea Ceccarelli
, Giuseppe Vella
, Antonio Caruso, Andrea Bondavalli
:
Model-based Evaluation of Scalability and Security Tradeoffs: a Case Study on a Multi-Service Platform. 113-133 - Ronny J. Polansky, Samyukta Sethuraman, Natarajan Gautam:
Obtaining Optimal Thresholds for Processors with Speed-Scaling. 135-155 - Daniël Reijsbergen, Stephen Gilmore, Jane Hillston:
Patch-based Modelling of City-centre Bus Movement with Phase-type Distributions. 157-177 - Ludovica Luisa Vissat, Allan Clark, Stephen Gilmore:
Finding Optimal Timetables for Edinburgh Bus Routes. 179-199

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.