1222 search results - page 63 / 245 » Verifying a File System Implementation |
119
click to vote
CLUSTER
2004
IEEE
15 years 6 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...
110
click to vote
ASM
2004
ASM
15 years 7 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 ×·...
CRYPTO
1989
Springer
15 years 6 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...
114
click to vote
HCI
2007
15 years 3 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...
125
click to vote
ACSAC
2008
IEEE
15 years 9 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 ...