352 search results - page 24 / 71 » Proof-Checking a Data Link Protocol |
CSE
2009
IEEE
14 years 3 months ago
2009
IEEE
—Modern consumer wireless devices are increasingly powerful, making them attractive to use as wireless sensor nodes. At the same time, many use protocol suites such as Bluetooth ...
AIEDAM
2004
13 years 8 months ago
2004
: This paper reports on preliminary results of an explorative study of a protocol analysis of team learning while designing using in-situ data. Two measurement-based frameworks are...
WWW
2009
ACM
14 years 9 months ago
2009
ACM
Comprehensive coverage of the public web is crucial to web search engines. Search engines use crawlers to retrieve pages and then discover new ones by extracting the pages' o...
TRIDENTCOM
2006
IEEE
14 years 2 months ago
2006
IEEE
— Ad-hoc networking provides a cost-effective support structure for inter-vehicle communication. A decentralized peerto-peer information dissemination architecture is well suited...
PERCOM
2009
ACM
14 years 3 months ago
2009
ACM
—Earlier sensor network MAC protocols focus on energy conservation in low-duty cycle applications, while some recent applications involve real-time high-data-rate signals. This m...