nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Asymptotic Behavior and Performance Constraints of Replication Policies
|
Cerotti, Davide |
|
2015 |
310 |
C |
p. 49-63 15 p. |
artikel |
2 |
Energy-efficient Checkpointing in High-throughput Cycle-stealing Distributed Systems
|
Forshaw, Matthew |
|
2015 |
310 |
C |
p. 65-90 26 p. |
artikel |
3 |
Exploiting Bayesian Networks for the Analysis of Combined Attack Trees
|
Gribaudo, Marco |
|
2015 |
310 |
C |
p. 91-111 21 p. |
artikel |
4 |
Finding Optimal Timetables for Edinburgh Bus Routes
|
Vissat, Ludovica Luisa |
|
2015 |
310 |
C |
p. 179-199 21 p. |
artikel |
5 |
Fluid Performability Analysis of Nested Automata Models
|
Bortolussi, Luca |
|
2015 |
310 |
C |
p. 27-47 21 p. |
artikel |
6 |
Model-based Evaluation of Scalability and Security Tradeoffs: a Case Study on a Multi-Service Platform
|
Montecchi, Leonardo |
|
2015 |
310 |
C |
p. 113-133 21 p. |
artikel |
7 |
Obtaining Optimal Thresholds for Processors with Speed-Scaling
|
Polansky, Ronny J. |
|
2015 |
310 |
C |
p. 135-155 21 p. |
artikel |
8 |
Patch-based Modelling of City-centre Bus Movement with Phase-type Distributions
|
Reijsbergen, Daniƫl |
|
2015 |
310 |
C |
p. 157-177 21 p. |
artikel |
9 |
Preface
|
Bradley, Jeremy |
|
2015 |
310 |
C |
p. 1-3 3 p. |
artikel |
10 |
Survivability Evaluation of Gas, Water and Electricity Infrastructures
|
Avritzer, Alberto |
|
2015 |
310 |
C |
p. 5-25 21 p. |
artikel |