-
1
-
-
0142074003
-
-
W3C Working Group
-
W3C Working Group, Web Services Architecture. 2004 .http://www.w3.org/TR/ 2004/NOTE-ws-arch-20040211/
-
(2004)
Web Services Architecture
-
-
-
2
-
-
0036392121
-
-
Romanovsky, A. and I. Smith. Dependable On-line Upgrading of Distributed Systems COMPSAC'2002. 2002. Oxford. p. 975-976.
-
Romanovsky, A. and I. Smith. Dependable On-line Upgrading of Distributed Systems COMPSAC'2002. 2002. Oxford. p. 975-976.
-
-
-
-
3
-
-
0016522101
-
System Structure for Software Fault Tolerance
-
Randell, B., System Structure for Software Fault Tolerance. IEEE Transactions on Software Engineering, 1975. SE-1(2): p. 220-232.
-
(1975)
IEEE Transactions on Software Engineering
, vol.SE-1
, Issue.2
, pp. 220-232
-
-
Randell, B.1
-
4
-
-
4243197458
-
-
Microsoft and IBM
-
Ferguson, D.F., T. Storey, et al., Secure, Reliable, Transacted Web Services: Architecture and Composition. 2003, Microsoft and IBM.
-
(2003)
Secure, Reliable, Transacted Web Services: Architecture and Composition
-
-
Ferguson, D.F.1
Storey, T.2
-
5
-
-
1442271433
-
Dependability in the Web Service Architecture
-
Springer-Verlag. p
-
Tartanoglu, F., V. Issarny, et al., Dependability in the Web Service Architecture, in Architecting Depndable Systems. 2003, Springer-Verlag. p. 89-108.
-
(2003)
Architecting Depndable Systems
, pp. 89-108
-
-
Tartanoglu, F.1
Issarny, V.2
-
6
-
-
12344308304
-
Basic Concepts and Taxonomy of Dependable and Secure Computing
-
Avizienis, A., J.-C. Laprie, et al., Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing, 2004. 1(1): p. 11-33.
-
(2004)
IEEE Transactions on Dependable and Secure Computing
, vol.1
, Issue.1
, pp. 11-33
-
-
Avizienis, A.1
Laprie, J.-C.2
-
9
-
-
77049120140
-
Diversity against Accidental and Deliberate Faults Computer Security, Dependability and Assurance: From Needs to Solutions
-
D.C, USA: IEEE Computer Society Press
-
Deswarte, Y., K. Kanoun and J.-C. Laprie. Diversity against Accidental and Deliberate Faults Computer Security, Dependability and Assurance: From Needs to Solutions. 1998. York, England and Washington, D.C., USA: IEEE Computer Society Press.
-
(1998)
York, England and Washington
-
-
Deswarte, Y.1
Kanoun, K.2
Laprie, J.-C.3
-
12
-
-
0031276197
-
Some conservative stopping rules for the operational testing of safety-critical software
-
Littlewood, B. and D. Wright, Some conservative stopping rules for the operational testing of safety-critical software. IEEE Transactions on Software Engineering, 1997. 23(11): p. 673-683.
-
(1997)
IEEE Transactions on Software Engineering
, vol.23
, Issue.11
, pp. 673-683
-
-
Littlewood, B.1
Wright, D.2
-
13
-
-
0036092548
-
Assessing the Reliability of Diverse Fault-Tolerant Software-Based Systems
-
Littlewood, B., P. Popov and L. Strigini, Assessing the Reliability of Diverse Fault-Tolerant Software-Based Systems. Safety Science, 2002. 40: p. 781-796.
-
(2002)
Safety Science
, vol.40
, pp. 781-796
-
-
Littlewood, B.1
Popov, P.2
Strigini, L.3
-
14
-
-
0032592909
-
Coverage Estimation Methods for Stratified Fault-Injection
-
Cukier, M., D. Powell and J. Arlat, Coverage Estimation Methods for Stratified Fault-Injection. IEEE Transactions on Computers, 1999. 48(7): p. 707-723.
-
(1999)
IEEE Transactions on Computers
, vol.48
, Issue.7
, pp. 707-723
-
-
Cukier, M.1
Powell, D.2
Arlat, J.3
|