15888 search results - page 121 / 3178 » Supporting human-intensive systems |
NSDI
2004
13 years 11 months ago
2004
Availability is a storage system property that is both highly desired and yet minimally engineered. While many systems provide mechanisms to improve availability
DAC
2007
ACM
14 years 11 months ago
2007
ACM
The inherent limitations of embedded systems make them particularly vulnerable to attacks. We have developed a hardware monitor that operates in parallel to the embedded processor...
LPAR
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
IPPS
2002
IEEE
14 years 3 months ago
2002
IEEE
In this paper, we present the overall design for an auctioning based resource trading/acquiring system that can be deployed in wide-area computing systems such as Grid systems. Se...
HICSS
1994
IEEE
14 years 2 months ago
1994
IEEE
This paper addresses a purely software-based solution to the multiprocessor cache coherence problem by structuring an operating system to provide for the coherence of its own data...