1362 search results - page 226 / 273 » Model Checking Large Network Protocol Implementations |
109
click to vote
EUROPAR
2001
Springer
15 years 7 months ago
2001
Springer
This paper is on the construction of a server subsystem in a client/server system in an application context where the number of potential clients can be arbitrarily large. The imp...
131
click to vote
PDPTA
2008
15 years 3 months ago
2008
GridFTP is a high-performance, reliable data transfer protocol optimized for high-bandwidth wide-area networks. Based on the Internet FTP protocol, it defines extensions for highp...
119
click to vote
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
As more and more cars are equipped with GPS and Wi-Fi transmitters, it becomes easier to design systems that will allow cars to interact autonomously with each other, e.g., regard...
105
click to vote
CIA
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The rapid advances in the computer industry allow building larger systems that require mass storage volumes. As storage space increases, its management becomes increasing...
162
click to vote
SPAA
1996
ACM
15 years 6 months ago
1996
ACM
Several recent papers have proposed or analyzed optimal algorithms to route all-to-all personalizedcommunication (AAPC) over communication networks such as meshes, hypercubes and ...