35 search results - page 5 / 7 » dsn 2000 |
DSN
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper presents an experimental study on the emulation of software faults by fault injection. In a first experiment, a set of real software faults has been compared with fault...
DSN
2000
IEEE
14 years 3 months ago
2000
IEEE
The increasing number of Internet users has caused a dramatic increase in electronic commerce. This growth is outpacing technologies for dependability causing traditional views of...
DSN
2000
IEEE
14 years 3 months ago
2000
IEEE
Recent work has shown the advantages of using persistent memory for transaction processing. In particular, the Vista transaction system uses recoverable memory to avoid disk I/O, ...
DSN
2000
IEEE
14 years 3 months ago
2000
IEEE
Byzantine quorum systems [13] enhance the availability and efficiency of fault-tolerant replicated services when servers may suffer Byzantine failures. An important limitation of...
DSN
2000
IEEE
14 years 3 months ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...