1222 search results - page 78 / 245 » Verifying a File System Implementation |
112
click to vote
JSW
2007
15 years 2 months ago
2007
—Shibboleth is an architecture and protocol for allowing users to authenticate and be authorized to use a remote resource by logging into the identity management system that is m...
98
Voted
PTS
2004
15 years 3 months ago
2004
A methodology that combines verification and conformance testing for validating safety requirements of reactive systems is presented. The requirements are first automatically verif...
77
Voted
CLUSTER
2002
IEEE
15 years 7 months ago
2002
IEEE
With the tremendous advances in processor and memory technology, I/O has risen to become the bottleneck in high-performance computing for many applications. The development of par...
139
click to vote
IWCC
1999
IEEE
15 years 6 months ago
1999
IEEE
In this paper, we propose a novel Single I/O Space architecture for achieving a Single System Image (SSI) at the I/O subsystem level. This is very much desired in a scalable clust...
125
click to vote
ESORICS
2008
Springer
15 years 4 months ago
2008
Springer
We are interested in this problem: a verifier, with a small and reliable storage, wants to periodically check whether a remote server is keeping a large file x. A dishonest server,...