3898 search results - page 145 / 780 » Maintaining Component-Based Systems |
143
Voted
IWSAS
2001
Springer
15 years 8 months ago
2001
Springer
We seek to construct autonomous adaptive survivable systems that use active trust management to adapt their own behavior in the face of compromises in the computational environment...
159
Voted
ICDCS
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper introduces volume leases as a mechanism for providing cache consistency for large-scale, geographically distributed networks. Volume leases are a variation of leases, w...
142
click to vote
ICRE
1998
IEEE
15 years 8 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
123
Voted
SIGMOD
1998
ACM
15 years 8 months ago
1998
ACM
The Web is based on a browsing paradigm that makes it di cult to retrieve and integrate data from multiple sites. Today, the only way to achieve this integration is by building sp...
115
Voted
IPPS
1996
IEEE
15 years 7 months ago
1996
IEEE
To maintain the integrity of the US nuclear stockpile without detonating nuclear weapons, the DOE needs the results of computer-simulations that overwhelm the world's most po...