nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Adaptive decomposition and approximation for the analysis of stochastic Petri nets
|
Buchholz, Peter |
|
2004 |
56 |
1-4 |
p. 23-52 30 p. |
artikel |
2 |
A method for modeling and quantifying the security attributes of intrusion tolerant systems
|
Madan, Bharat B. |
|
2004 |
56 |
1-4 |
p. 167-186 20 p. |
artikel |
3 |
Analyzing the effectiveness of fault-management architectures in layered distributed systems
|
Das, Olivia |
|
2004 |
56 |
1-4 |
p. 93-120 28 p. |
artikel |
4 |
Author Index Volume 56
|
|
|
2004 |
56 |
1-4 |
p. 309- 1 p. |
artikel |
5 |
Construction and stepwise refinement of dependability models
|
Betous-Almeida, Cláudia |
|
2004 |
56 |
1-4 |
p. 277-306 30 p. |
artikel |
6 |
Dependable Systems and Networks-Performance and Dependability Symposium (DSN-PDS) 2002: Selected Papers
|
Garg, Sachin |
|
2004 |
56 |
1-4 |
p. 1-2 2 p. |
artikel |
7 |
Editorial Board
|
|
|
2004 |
56 |
1-4 |
p. IFC- 1 p. |
artikel |
8 |
Implicit GSPN reachability set generation using decision diagrams
|
S. Miner, Andrew |
|
2004 |
56 |
1-4 |
p. 145-165 21 p. |
artikel |
9 |
Improving availability with recursive microreboots: a soft-state system case study
|
Candea, George |
|
2004 |
56 |
1-4 |
p. 213-248 36 p. |
artikel |
10 |
Joint evaluation of recovery and performance of a COTS DBMS in the presence of operator faults
|
Vieira, Marco |
|
2004 |
56 |
1-4 |
p. 187-212 26 p. |
artikel |
11 |
Modeling and evaluating the security threats of transient errors in firewall software
|
Chen, Shuo |
|
2004 |
56 |
1-4 |
p. 53-72 20 p. |
artikel |
12 |
Performability analysis of guarded-operation duration: a translation approach for reward model solutions
|
Tai, Ann T. |
|
2004 |
56 |
1-4 |
p. 249-276 28 p. |
artikel |
13 |
2003 Performance Evaluation reviewers
|
|
|
2004 |
56 |
1-4 |
p. 307-308 2 p. |
artikel |
14 |
Resource management policies in GPRS systems
|
Meo, Michela |
|
2004 |
56 |
1-4 |
p. 73-92 20 p. |
artikel |
15 |
Subject Index Volume 56
|
|
|
2004 |
56 |
1-4 |
p. 310- 1 p. |
artikel |
16 |
The pseudo-self-similar traffic model: application and validation
|
El Abdouni Khayari, Rachid |
|
2004 |
56 |
1-4 |
p. 3-22 20 p. |
artikel |
17 |
The scale factor: a new degree of freedom in phase-type approximation
|
Bobbio, A. |
|
2004 |
56 |
1-4 |
p. 121-144 24 p. |
artikel |