352 search results - page 42 / 71 » Proof-Checking a Data Link Protocol |
ACSAC
2003
IEEE
15 years 1 months ago
2003
IEEE
We propose an efficient and flexible system for a secure and authentic data exchange in a multiinstitutional environment, where the institutions maintain different databases and p...
100
click to vote
JSAC
2008
14 years 9 months ago
2008
Reliable transmission is a challenging task over wireless LANs since wireless links are known to be susceptible to errors. Although the current IEEE802.11 standard ARQ error contro...
EWSN
2007
Springer
15 years 9 months ago
2007
Springer
Initial deployments of wireless sensor networks (WSNs) were based on a many-to-one communication paradigm, where a single sink collects data from a number of data sources. Recently...
SIGMOD
1997
ACM
15 years 1 months ago
1997
ACM
This paper presents general algorithms for concurrency control in tree-based access methods as well as a recovery protocol and a mechanism for ensuring repeatable read. The algori...
INFOCOM
2005
IEEE
15 years 3 months ago
2005
IEEE
— High capacity data transfers over the Internet routinely fail to meet end-to-end performance expectations. The default transport control protocol for best effort data traffic ...