352 search results - page 44 / 71 » Proof-Checking a Data Link Protocol |
JODI
2010
14 years 4 months ago
2010
: ICE-TheOREM was a project which made several important contributions to the repository domain, promoting deposit by integrating the repository with authoring workflows and enhanc...
DATE
2007
IEEE
15 years 4 months ago
2007
IEEE
The amount of electronic systems introduced in vehicles is continuously increasing: X-by-wire, complex electronic control systems and above all future applications such as automot...
79
Voted
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
—In wireless networks where communications are made over a shared medium, interference and collisions are the primary causes of packet drops. In multi-hop networks such as wirele...
73
Voted
SC
2005
ACM
15 years 3 months ago
2005
ACM
The GridFTP extensions to the File Transfer Protocol define a general-purpose mechanism for secure, reliable, high-performance data movement. We report here on the Globus striped ...
NOSSDAV
2004
Springer
15 years 3 months ago
2004
Springer
In recent years, several architectures have been proposed and developed for supporting streaming applications that take advantage of multiple paths through the network simultaneou...