1222 search results - page 63 / 245 » Verifying a File System Implementation |
141
click to vote
CLUSTER
2004
IEEE
15 years 8 months ago
2004
IEEE
Scientific applications often need to access remote file systems. Because of slow networks and large data size, however, remote I/O can become an even more serious performance bot...
127
Voted
ASM
2004
ASM
15 years 10 months ago
2004
ASM
Consider a multiple-agent transition system such that, for some basic types T1, . . . , Tn, the state of any agent can be represented as an element of the Cartesian product T1 ×·...
113
Voted
CRYPTO
1989
Springer
15 years 8 months ago
1989
Springer
Z is a software system designed to provide media-transparent network services on a collection of UNIX® machines. These services are comprised of file transfer and command executi...
133
Voted
HCI
2007
15 years 6 months ago
2007
SCTP(Stream Control Transmission Protocol) is a new IETF transport protocol over the IP network. Transport protocol is responsible for reliable delivery of a message form a host to...
141
click to vote
ACSAC
2008
IEEE
15 years 11 months ago
2008
IEEE
Users commonly download, patch, and use applications such as email clients, office applications, and media-players from the Internet. Such applications are run with the user’s ...