2498 search results - page 428 / 500 » Software Fault Tolerance |
136
Voted
DSN
2005
IEEE
15 years 10 months ago
2005
IEEE
Hardware dependability improvements have led to a situation in which it is sometimes unnecessary to employ extensive hardware replication to mask hardware faults. Expanding upon o...
132
click to vote
SPIN
2004
Springer
15 years 10 months ago
2004
Springer
Nowadays, many distributed applications take advantage of the transparent distributed object systems provided by CORBA middlewares. While greatly reduce the design and coding effo...
150
Voted
DSN
2003
IEEE
15 years 10 months ago
2003
IEEE
Maintaining the availability of critical servers and routers is an important concern for many organizations. At the lowest level, IP addresses represent the global namespace by wh...
137
click to vote
IPPS
1996
IEEE
15 years 9 months ago
1996
IEEE
We introduce dag consistency, a relaxed consistency model for distributed shared memory which is suitable for multithreaded programming. We have implemented dag consistency in sof...
129
Voted
ACSAC
2008
IEEE
15 years 7 months ago
2008
IEEE
Access control policies are often specified in declarative languages. In this paper, we propose a novel approach, called mutation verification, to assess the quality of properties...