-
1
-
-
12344308304
-
Basic concepts and taxonomy of dependable and secure computing
-
Jan.-Mar
-
A. Avizienis, J. Laprie, B. Randell, and C. Landwehr, "Basic concepts and taxonomy of dependable and secure computing," IEEE Transactions on Dependable and Secure Computing, vol. 1, no. 1, pp. 11-33, Jan.-Mar. 2004.
-
(2004)
IEEE Transactions on Dependable and Secure Computing
, vol.1
, Issue.1
, pp. 11-33
-
-
Avizienis, A.1
Laprie, J.2
Randell, B.3
Landwehr, C.4
-
2
-
-
34250201074
-
-
A Dependability Roadmap for the Informaiton Society in Europe, EU Informaiton Society Technology (IST) Programme IST-2001-37553, AMSD Project, Deliverable D1.1, August 2003.
-
"A Dependability Roadmap for the Informaiton Society in Europe," EU Informaiton Society Technology (IST) Programme IST-2001-37553, AMSD Project, Deliverable D1.1, August 2003.
-
-
-
-
3
-
-
2342540211
-
Techniques For System Dependability Evaluation
-
J. K. Muppala, R. M. Fricks, and K. S. Trivedi, "Techniques For System Dependability Evaluation," Computational Probability, pp. 445-480, 2000.
-
(2000)
Computational Probability
, pp. 445-480
-
-
Muppala, J.K.1
Fricks, R.M.2
Trivedi, K.S.3
-
4
-
-
0003972890
-
-
RFC3272, May
-
D. Awduche, A. Chiu, A. Elwalid, and et. al., "Overview and principles of internet traffic engineering," RFC3272, May 2002.
-
(2002)
Overview and principles of internet traffic engineering
-
-
Awduche, D.1
Chiu, A.2
Elwalid, A.3
and et., al.4
-
5
-
-
0025496230
-
Dependability modeling for multiprocessors
-
Chita R. Das, Jeffrey T. Kreulen, Matthew J. Thazhuthaveetil, and Laxmi N. Bhuyan, "Dependability modeling for multiprocessors," Computer, vol. 23, no. 10, pp. 7-19, 1990.
-
(1990)
Computer
, vol.23
, Issue.10
, pp. 7-19
-
-
Das, C.R.1
Kreulen, J.T.2
Thazhuthaveetil, M.J.3
Bhuyan, L.N.4
-
6
-
-
0026822740
-
Reliability of a class of multistage interconnection networks
-
X. Cheng and O. C. Ibe, "Reliability of a class of multistage interconnection networks," IEEE Trans. Parallel Distrib. Syst., vol. 3, no. 2, pp. 241-246, 1992.
-
(1992)
IEEE Trans. Parallel Distrib. Syst
, vol.3
, Issue.2
, pp. 241-246
-
-
Cheng, X.1
Ibe, O.C.2
-
7
-
-
77957036347
-
-
M. O. Ball, C. J. Colbourn, and J. S. Provan, Network reliability, in Network Models, M. O. Ball et al, Ed., 7 of Handbooks in Operations Research and Management Science, chapter 11, pp. 673-762. Elsevier Science, 1995.
-
M. O. Ball, C. J. Colbourn, and J. S. Provan, "Network reliability," in Network Models, M. O. Ball et al, Ed., vol. 7 of Handbooks in Operations Research and Management Science, chapter 11, pp. 673-762. Elsevier Science, 1995.
-
-
-
-
8
-
-
0036604737
-
Estimation of all-terminal network reliability using an artificial neural network
-
Chat Srivaree-ratana, Abdullah Konak, and Alice E. Smith, "Estimation of all-terminal network reliability using an artificial neural network," Comput. Oper. Res., vol. 29, no. 7, pp. 849-868, 2002.
-
(2002)
Comput. Oper. Res
, vol.29
, Issue.7
, pp. 849-868
-
-
Srivaree-ratana, C.1
Konak, A.2
Smith, A.E.3
-
9
-
-
0024645936
-
Petri nets: Properties, analysis and applications
-
Apr
-
T. Murata, "Petri nets: Properties, analysis and applications," in Proceedings of the IEEE, Apr. 1989, vol. 77.
-
(1989)
Proceedings of the IEEE
, vol.77
-
-
Murata, T.1
-
10
-
-
0022197081
-
Stochastic activity networks: Structure, behavior, and application
-
Washington, DC, USA, IEEE Computer Society
-
John F. Meyer, A. Movaghar, and William H. Sanders, "Stochastic activity networks: Structure, behavior, and application," in International Workshop on Timed Petri Nets, Washington, DC, USA, 1985, pp. 106-115, IEEE Computer Society.
-
(1985)
International Workshop on Timed Petri Nets
, pp. 106-115
-
-
Meyer, J.F.1
Movaghar, A.2
Sanders, W.H.3
-
11
-
-
84957801459
-
The Möbius Modeling tool
-
G. Clark, T. Courtney, D. Daly, and et al., "The Möbius Modeling tool." in Proceedings of the 9th Int'l Workshop on Petri Nets and Performance Models, 2001, pp. 241-250.
-
(2001)
Proceedings of the 9th Int'l Workshop on Petri Nets and Performance Models
, pp. 241-250
-
-
Clark, G.1
Courtney, T.2
Daly, D.3
and et, al.4
-
12
-
-
12344275676
-
Model-based evaluation: From dependability to security
-
David M. Nicol, William H. Sanders, and Kishor S. Trivedi, "Model-based evaluation: From dependability to security," IEEE Trans. Dependable. Secur. Comput., vol. 1, no. 1, pp. 48-65, 2004.
-
(2004)
IEEE Trans. Dependable. Secur. Comput
, vol.1
, Issue.1
, pp. 48-65
-
-
Nicol, D.M.1
Sanders, W.H.2
Trivedi, K.S.3
-
13
-
-
0029213975
-
Lumpability and nearly-lumpability in hierarchical queueing networks
-
Washington, DC, USA, IEEE Computer Society
-
P. Buchholz, "Lumpability and nearly-lumpability in hierarchical queueing networks," in IPDS '95: Proceedings of the International Computer Performance and Dependability Symposium (IPDS'95), Washington, DC, USA, 1995, p. 82, IEEE Computer Society.
-
(1995)
IPDS '95: Proceedings of the International Computer Performance and Dependability Symposium (IPDS'95)
, pp. 82
-
-
Buchholz, P.1
-
15
-
-
0021508951
-
Bounds for the positive eigenvectors of nonnegative matrices and for their approximations by decomposition
-
P.-J. Courtois and P. Semal, "Bounds for the positive eigenvectors of nonnegative matrices and for their approximations by decomposition," J. ACM, vol. 31, no. 4, pp. 804-825, 1984.
-
(1984)
J. ACM
, vol.31
, Issue.4
, pp. 804-825
-
-
Courtois, P.-J.1
Semal, P.2
-
16
-
-
0024928611
-
-
R. R. Muntz, E. de Souza e Silva, and A. Goyal, Bounding availability of repairable systems, IEEE Trans. Comput., 38, no. 12, pp. 1714-1723, 1989.
-
R. R. Muntz, E. de Souza e Silva, and A. Goyal, "Bounding availability of repairable systems," IEEE Trans. Comput., vol. 38, no. 12, pp. 1714-1723, 1989.
-
-
-
-
18
-
-
0028422583
-
Bounds for quasi-lumpable markov chains
-
Amsterdam, The Netherlands, The Netherlands, Elsevier Science Publishers B. V
-
G. Franceschinis and Richard R. Muntz, "Bounds for quasi-lumpable markov chains," in Performance '93: Proceedings of the 16th IFIP Working Group 7.3 international symposium on Computer performance modeling measurement and evaluation, Amsterdam, The Netherlands, The Netherlands, 1994, pp. 223-243, Elsevier Science Publishers B. V.
-
(1994)
Performance '93: Proceedings of the 16th IFIP Working Group 7.3 international symposium on Computer performance modeling measurement and evaluation
, pp. 223-243
-
-
Franceschinis, G.1
Muntz, R.R.2
-
19
-
-
0028433928
-
Dependability modeling and analysis of distributed programs
-
N. Lopez-Benitez, "Dependability modeling and analysis of distributed programs." IEEE Trans. Softw. Eng., vol. 20, no. 5, pp. 345-352, 1994.
-
(1994)
IEEE Trans. Softw. Eng
, vol.20
, Issue.5
, pp. 345-352
-
-
Lopez-Benitez, N.1
-
22
-
-
34250176874
-
Dependability evaluation of an IP backbone network,
-
M.S. thesis, Norwegian University of Science and Technology NTNU, Department of Telematics. July 11th
-
Oscar Peidró Ordaz, "Dependability evaluation of an IP backbone network," M.S. thesis, Norwegian University of Science and Technology (NTNU), Department of Telematics. July 11th 2005.
-
(2005)
-
-
Peidró Ordaz, O.1
-
23
-
-
0034781799
-
Stability issues in OSPF routing
-
New York, NY, USA, ACM Press
-
Anindya Basu and Jon Riecke, "Stability issues in OSPF routing," in SIGCOMM '01: Proceedings of the 2001 conference on Applications, technologies, architectures, and protocols for computer communications, New York, NY, USA, 2001, pp. 225-236, ACM Press.
-
(2001)
SIGCOMM '01: Proceedings of the 2001 conference on Applications, technologies, architectures, and protocols for computer communications
, pp. 225-236
-
-
Basu, A.1
Riecke, J.2
-
24
-
-
17444430798
-
Closed-loop matrix based model of discrete event systems for machine logic control design
-
A. Polic and K. Jezernik, "Closed-loop matrix based model of discrete event systems for machine logic control design," IEEE Trans. Industrial Informatics, vol. 1, no. 1, pp. 39-46, 2005.
-
(2005)
IEEE Trans. Industrial Informatics
, vol.1
, Issue.1
, pp. 39-46
-
-
Polic, A.1
Jezernik, K.2
|