20 search results - page 1 / 4 » Corporate Sponsors |
CGO
2006
IEEE
13 years 8 months ago
2006
IEEE
HICSS
2009
IEEE
13 years 11 months ago
2009
IEEE
Many employers now provide electronic personal health records (PHR) to employees as part of a free or low cost health benefit program. This paper reports findings from a survey di...
USENIX
1993
13 years 5 months ago
1993
Robotic storage devices offer huge storage capacity at a low cost per byte, but with large access times. Integrating these devices into the storage hierarchy presents a challenge ...
ECOOPW
1999
Springer
13 years 8 months ago
1999
Springer
Extensible systems, such as Java or the SPIN extensible operating system, allow for units of code, or extensions, to be added to a running system in almost arbitrary fashion. Exte...
PODC
1994
ACM
13 years 8 months ago
1994
ACM
The notion of belief has been useful in reasoning about authentication protocols. In this paper, we show how the notion of belief can be applied to reasoning about cache coherence...