536 search results - page 93 / 108 » A computer verified, monadic, functional implementation of t... |
113
click to vote
OSDI
2002
ACM
15 years 12 months ago
2002
ACM
Farsite is a secure, scalable file system that logically functions as a centralized file server but is physically distributed among a set of untrusted computers. Farsite provides ...
INFOCOM
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—This paper presents a protocol-independent approach to reveal a new insight into the performance of carrier sense multiple access with collision avoidance (CSMA/CA) prot...
ICRA
2007
IEEE
15 years 6 months ago
2007
IEEE
— In this paper we present a methodology to drive the end effector of a robotic manipulator across the surface of an object in the workspace, and at the same time the manipulator...
WOWMOM
2005
ACM
15 years 5 months ago
2005
ACM
Recent work on key establishment for sensor networks has shown that it is feasible to employ limited Elliptic Curve Cryptography in sensor networks through hybrid protocols. In th...
SAFECOMP
2001
Springer
15 years 4 months ago
2001
Springer
This paper focuses on the development of a conceptual framework for integrating fault injection mechanisms into the RDD-100 tool2 to support the dependability analysis of computer...