


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














