352 search results - page 63 / 71 » Proof-Checking a Data Link Protocol |
DPD
2002
13 years 7 months ago
2002
The Internet is revolutionizing business by providing an affordable and efficient way to link companies with their partners as well as customers. Nevertheless, there are problems t...
TGIS
2002
13 years 7 months ago
2002
Traditional GISystems are no longer appropriate for modern distributed, heterogeneous network environments due to their closed architecture, and their lack of interoperability, reu...
ACE
2004
13 years 8 months ago
2004
The 2002 SIGCOMM Workshop on Educational Challenges for Computer Networking [Kur02a] exposed many issues related to teaching computer networking with the need for a laboratory in ...
RTSS
2007
IEEE
14 years 1 months ago
2007
IEEE
— With the advent of CMOS cameras, it is now possible to make compact, cheap and low-power image sensors capable of on-board image processing. These embedded vision sensors provi...
QSHINE
2005
IEEE
14 years 29 days ago
2005
IEEE
Protocols designed to provide error-free communications over lossy links, at both data link and transport layers, commonly employ the idea of sliding windows, which is based on th...