Abstract is missing.
- On the Degradation of Distributed Graph Databases with Eventual ConsistencyPaul D. Ezhilchelvan, Isi Mitrani, Jim Webber. 1-13 [doi]
- To What Extent Does Performance Awareness Support Developers in Fixing Performance Bugs?Alexandru Danciu, Helmut Krcmar. 14-29 [doi]
- Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without UnfoldingMarco Beccuti, Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis, Simone Pernice. 30-45 [doi]
- Mean Value Analysis of Closed G-Networks with SignalsJean-Michel Fourneau. 46-61 [doi]
- Extending the Steady State Analysis of Hierarchical Semi-Markov Processes with Parallel RegionsMarco Biagi, Enrico Vicario, Reinhard German. 62-77 [doi]
- Formal Parameter Synthesis for Energy-Utility-Optimal Fault ToleranceLinda Herrmann, Christel Baier, Christof Fetzer, Sascha Klüppelholz, Markus Napierkowski. 78-93 [doi]
- Performance Model of Apache Cassandra Under Heterogeneous Workload Using the Quantitative Verification ApproachAl Amjad Tawfiq Isstaif, Nizar Alhafez. 94-109 [doi]
- Modelling Smart Buildings Using Fault Maintenance TreesAlessandro Abate, Carlos E. Budde, Nathalie Cauchi, Arnaud van Harmelen, Khaza Anuarul Hoque, Mariëlle Stoelinga. 110-125 [doi]
- Performance Impact of Misbehaving VotersMohammed Alotaibi, Nigel Thomas. 126-141 [doi]
- Information Flow Security for Stochastic ProcessesJane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi. 142-156 [doi]
- Towards Probabilistic Modeling and Analysis of Real-Time SystemsLaura Carnevali, Luca Santinelli, Giuseppe Lipari. 157-172 [doi]
- An Ontology Framework for Generating Discrete-Event Stochastic ModelsKen Keefe, Brett Feddersen, Michael Rausch, Ronald Joseph Wright, William H. Sanders. 173-189 [doi]
- A Mixed Strategy for a Competitive Game in Delay Tolerant NetworksThi Thu Hang Nguyen, Olivier Brun, Balakrishna J. Prabhu. 190-204 [doi]
- Second Order Fluid Performance Evaluation Models for Interactive 3D Multimedia StreamingEnrico Barbierato, Marco Gribaudo, Mauro Iacono, Pietro Piazzolla. 205-218 [doi]
- Modeling the Effect of Parallel Execution on Multi-site Computation Offloading in Mobile Cloud ComputingIsmail Sheikh, Olivia Das. 219-234 [doi]
- An OpenFlow Controller Performance Evaluation ToolZhihao Shang, Han Wu, Katinka Wolter. 235-249 [doi]
- Product-Form Queueing Networks with BatchesPeter G. Harrison. 250-264 [doi]