Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             17 gevonden resultaten
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
                             17 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland