-
3
-
-
0027627116
-
The duality of fault-tolerant system structures
-
SHRIVASTAVA, S.K., MANCINI, L.V., and RANDELL, B.: 'The duality of fault-tolerant system structures', Soft.: Pract. Exper., 1993, 23, (7), pp. 773-798
-
(1993)
Soft.: Pract. Exper.
, vol.23
, Issue.7
, pp. 773-798
-
-
Shrivastava, S.K.1
Mancini, L.V.2
Randell, B.3
-
4
-
-
0004259552
-
-
Morgan Kaufmann
-
LYNCH, N.A., MERRIT, M., WEHIL, W.E., and FEKETE, A.: 'Atomic transactions' (Morgan Kaufmann, 1993)
-
(1993)
Atomic Transactions
-
-
Lynch, N.A.1
Merrit, M.2
Wehil, W.E.3
Fekete, A.4
-
6
-
-
0016522101
-
System structure for software fault tolerance
-
RANDELL, B.: 'System structure for software fault tolerance', IEEE Trans. Soft. Eng., 1975, 1, (2), pp. 220-232
-
(1975)
IEEE Trans. Soft. Eng.
, vol.1
, Issue.2
, pp. 220-232
-
-
Randell, B.1
-
7
-
-
0020750498
-
A framework for software fault-tolerance in real-time systems
-
ANDERSON, T., and KNIGHT, J.C.: 'A framework for software fault-tolerance in real-time systems', IEEE Trans. Soft. Eng., 1983, SE-9, (3), pp. 355-364
-
(1983)
IEEE Trans. Soft. Eng.
, vol.SE-9
, Issue.3
, pp. 355-364
-
-
Anderson, T.1
Knight, J.C.2
-
8
-
-
33747062463
-
Implementations and extensions of the conversation concept
-
Nürnberg, Germany, September
-
DI GIANDOMENICO, F., and STRIGINI, L.: 'Implementations and extensions of the conversation concept'. Proceedings of 5th international GI/ITG/GMA conference on Fault-tolerant computing systems - tests, diagnosis, fault treatment, Nürnberg, Germany, September 1991
-
(1991)
Proceedings of 5th International GI/ITG/GMA Conference on Fault-tolerant Computing Systems - Tests, Diagnosis, Fault Treatment
-
-
Di Giandomenico, F.1
Strigini, L.2
-
12
-
-
0025498110
-
A system architecture for fault tolerance in concurrent software
-
ANCONA, M., CLEMATIS, A., DODERO, G., FERNANDEZ, E.B., and GIANUZZI, V.: 'A system architecture for fault tolerance in concurrent software', IEEE Comput., 1990, 23, (10), pp. 23-31
-
(1990)
IEEE Comput.
, vol.23
, Issue.10
, pp. 23-31
-
-
Ancona, M.1
Clematis, A.2
Dodero, G.3
Fernandez, E.B.4
Gianuzzi, V.5
-
14
-
-
0027382556
-
Structuring conversation in operation/procedure oriented programming languages
-
CLEMATIS, A., and GIANUZZI, V.: 'Structuring conversation in operation/procedure oriented programming languages', Comput. Lang., 1993, 18, (3), pp. 153-168
-
(1993)
Comput. Lang.
, vol.18
, Issue.3
, pp. 153-168
-
-
Clematis, A.1
Gianuzzi, V.2
-
15
-
-
33747059344
-
On a scheme for backward recovery in complex systems including both client processes and data servers
-
Centre for Software Reliability, City University, London, October
-
STRIGINI, L., DI GIANDOMENICO, F., and ROMANOVSKY, A.: 'On a scheme for backward recovery in complex systems including both client processes and data servers'. Technical report, Centre for Software Reliability, City University, London, October 1996
-
(1996)
Technical Report
-
-
Strigini, L.1
Di Giandomenico, F.2
Romanovsky, A.3
-
16
-
-
0016555241
-
The protection of information in computer systems
-
SALTZER, J.H., and SCHROEDER, M.D.: 'The protection of information in computer systems', Proc. IEEE, 1975, 63, (9), pp. 1278-1308
-
(1975)
Proc. IEEE
, vol.63
, Issue.9
, pp. 1278-1308
-
-
Saltzer, J.H.1
Schroeder, M.D.2
-
17
-
-
0020126967
-
Approaches to mechanization of the conversation scheme based on monitors
-
KIM, K.H.: 'Approaches to mechanization of the conversation scheme based on monitors', IEEE Trans. Soft. Eng., 1982, 8, (3), pp. 189-197
-
(1982)
IEEE Trans. Soft. Eng.
, vol.8
, Issue.3
, pp. 189-197
-
-
Kim, K.H.1
-
18
-
-
0029406194
-
Backward error recovery via conversations in Ada
-
ROMANOVSKY, A., and STRIGINI, L.: 'Backward error recovery via conversations in Ada', Softw. Eng. J., 1995, 10, (6), pp. 219-232
-
(1995)
Softw. Eng. J.
, vol.10
, Issue.6
, pp. 219-232
-
-
Romanovsky, A.1
Strigini, L.2
-
19
-
-
0342890124
-
Recovery in heterogeneous systems
-
PDCS-2 ESPRIT Basic Research project
-
STRIGINI, L., ROMANOVSKY, A., and DI GIANDOMENICO, F.: 'Recovery in heterogeneous systems'. Technical report 133, PDCS-2 ESPRIT Basic Research project, 1994
-
(1994)
Technical Report 133
-
-
Strigini, L.1
Romanovsky, A.2
Di Giandomenico, F.3
-
20
-
-
33747046126
-
Introducing Ada9X. Ada9X project report
-
Intermetrics Inc.
-
BARNES, J.: 'Introducing Ada9X. Ada9X project report'. Technical report, Intermetrics Inc., 1993
-
(1993)
Technical Report
-
-
Barnes, J.1
-
21
-
-
85027077318
-
An object-oriented view of fragmented data processing for fault and intrusion tolerance in distributed systems
-
Proc. ESORICS 92, in DESWARTE, Y., EIZENBERG, G., and QUISQUATER, J.J. (Eds.): Springer-Verlag
-
FABRE, J.C., and RANDELL, B.: 'An object-oriented view of fragmented data processing for fault and intrusion tolerance in distributed systems'. Proc. ESORICS 92, in DESWARTE, Y., EIZENBERG, G., and QUISQUATER, J.J. (Eds.): 'Lecture notes in comp. sci., Vol. 648' (Springer-Verlag, 1992)
-
(1992)
Lecture Notes in Comp. Sci.
, vol.648
-
-
Fabre, J.C.1
Randell, B.2
-
22
-
-
33747044171
-
Object-oriented software fault tolerance: Framework, reuse and design diversity
-
ESPRIT Basic Research Project 6362-PDCS 2, First Year report
-
RANDELL, B., and XU, J.: 'Object-oriented software fault tolerance: framework, reuse and design diversity' in 'Predictably dependable computing systems'. ESPRIT Basic Research Project 6362-PDCS 2, First Year report, 1993, pp. 165-184
-
(1993)
Predictably Dependable Computing Systems
, pp. 165-184
-
-
Randell, B.1
Xu, J.2
-
23
-
-
0003070591
-
Forward and backward error recovery in C++
-
RUBIRA-CALSAVARA, C.M.F., and STROUD, R.J.: 'Forward and backward error recovery in C++', Object Oriented Systems, 1994, 1, (1), pp. 61-85
-
(1994)
Object Oriented Systems
, vol.1
, Issue.1
, pp. 61-85
-
-
Rubira-Calsavara, C.M.F.1
Stroud, R.J.2
|