352 search results - page 43 / 71 » Proof-Checking a Data Link Protocol |
DANCE
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper describes the design, implementation and performance of an open, high performance, dynamically extensible router under development at Washington University in St. Louis...
PDPTA
2008
14 years 11 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...
112
click to vote
IAT
2006
IEEE
15 years 3 months ago
2006
IEEE
Trust negotiation makes it possible for two parties to carry on secure transactions by first establishing trust through a bilateral, iterative process of requesting and disclosin...
137
click to vote
ADHOC
2010
14 years 6 months ago
2010
A Mobile Ad-hoc Network has limited and scarce resources and thus routing protocols in such environments must be kept as simple as possible. The Simple Ant Routing Algorithm (SARA...
123
click to vote
MSS
2005
IEEE
15 years 3 months ago
2005
IEEE
Enterprise storage demands have overwhelmed traditional storage mechanisms and have led to the development of Storage Area Networks (SANs). This has resulted in the design of SCSI...