Proceedings of SRDS'97: 16th IEEE Symposium on Reliable Distributed Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc

0818681772

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Reliability Of Distributed Applications With COTS Components

Proceedings of SRDS'97: 16th IEEE Symposium on Reliable Distributed Systems ◽

10.1109/reldis.1997.632805 ◽

2005 ◽

Author(s):

C.M.R. Kintala

Keyword(s):

Distributed Applications

Download Full-text

Selecting a "primary partition" in partitionable asynchronous distributed systems

Proceedings of SRDS'97: 16th IEEE Symposium on Reliable Distributed Systems ◽

10.1109/reldis.1997.632809 ◽

2002 ◽

Cited By ~ 3

Author(s):

A. Bartoli ◽

O. Babaoglu

Keyword(s):

Distributed Systems

Download Full-text

Predicting dependability properties on-line

Proceedings of SRDS'97: 16th IEEE Symposium on Reliable Distributed Systems ◽

10.1109/reldis.1997.632797 ◽

2002 ◽

Author(s):

G. Rubino

Keyword(s):

On Line

Download Full-text

Incorporating code coverage in the reliability estimation for fault-tolerant software

Proceedings of SRDS'97: 16th IEEE Symposium on Reliable Distributed Systems ◽

10.1109/reldis.1997.632796 ◽

2002 ◽

Cited By ~ 2

Author(s):

Mei-Hwa Chen ◽

M.R. Lyu ◽

W.E. Wong

Keyword(s):

Fault Tolerant ◽

Reliability Estimation ◽

Code Coverage

Download Full-text

Fast replicated state machines over partitionable networks

Proceedings of SRDS'97: 16th IEEE Symposium on Reliable Distributed Systems ◽

10.1109/reldis.1997.632808 ◽

2002 ◽

Cited By ~ 9

Author(s):

R. Friedman ◽

A. Vaysburd

Keyword(s):

State Machines

Download Full-text

A supervisor-based semi-centralized network surveillance scheme and the fault detection latency bound

Proceedings of SRDS'97: 16th IEEE Symposium on Reliable Distributed Systems ◽

10.1109/reldis.1997.632810 ◽

2002 ◽

Cited By ~ 8

Author(s):

K.H.K. Kim ◽

C. Subbaraman

Keyword(s):

Fault Detection ◽

Detection Latency ◽

Network Surveillance ◽

Surveillance Scheme

Download Full-text

The art of creating reliable software-based systems using off-the-shelf software components

Proceedings of SRDS'97: 16th IEEE Symposium on Reliable Distributed Systems ◽

10.1109/reldis.1997.632806 ◽

2002 ◽

Cited By ~ 1

Author(s):

P.A. Green

Keyword(s):

Software Components ◽

Reliable Software

Download Full-text

A flexible security model for using Internet content

Proceedings of SRDS'97: 16th IEEE Symposium on Reliable Distributed Systems ◽

10.1109/reldis.1997.632802 ◽

2002 ◽

Cited By ~ 1

Author(s):

R. Anand ◽

N. Islam ◽

T. Jaeger ◽

J.R. Rao

Keyword(s):

Security Model

Download Full-text

Probabilistic verification of a synchronous round-based consensus protocol

Proceedings of SRDS'97: 16th IEEE Symposium on Reliable Distributed Systems ◽

10.1109/reldis.1997.632812 ◽

2002 ◽

Cited By ~ 8

Author(s):

H.S. Duggal ◽

M. Cukier ◽

W.H. Sanders

Keyword(s):

Consensus Protocol ◽

Probabilistic Verification

Download Full-text

Controlled stochastic Petri nets

Proceedings of SRDS'97: 16th IEEE Symposium on Reliable Distributed Systems ◽

10.1109/reldis.1997.632792 ◽

2002 ◽

Cited By ~ 3

Author(s):

H. de Meer ◽

O.R. Dusterhoft

Keyword(s):

Petri Nets ◽

Stochastic Petri Nets

Download Full-text

Proceedings of SRDS'97: 16th IEEE Symposium on Reliable Distributed SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc

Reliability Of Distributed Applications With COTS Components

Selecting a "primary partition" in partitionable asynchronous distributed systems

Predicting dependability properties on-line

Incorporating code coverage in the reliability estimation for fault-tolerant software

Fast replicated state machines over partitionable networks

A supervisor-based semi-centralized network surveillance scheme and the fault detection latency bound

The art of creating reliable software-based systems using off-the-shelf software components

A flexible security model for using Internet content

Probabilistic verification of a synchronous round-based consensus protocol

Controlled stochastic Petri nets

Proceedings of SRDS'97: 16th IEEE Symposium on Reliable Distributed Systems
Latest Publications