352 search results - page 17 / 71 » Proof-Checking a Data Link Protocol |
DCOSS
2009
Springer
14 years 3 months ago
2009
Springer
Bulk transport underlies data exfiltration and code update facilities in WSNs, but existing approaches are not designed for highly lossy and variable-quality links. We observe tha...
ADHOCNOW
2005
Springer
14 years 2 months ago
2005
Springer
Multiple-Input Multiple-Output (MIMO) antenna systems present a radical way to improve the performance of wireless communications. Such systems can be utilized in wireless ad hoc n...
COMSWARE
2007
IEEE
14 years 2 months ago
2007
IEEE
— Cache and Forward (CNF) Architecture is a novel architecture aimed at delivering content efficiently to potentially large number of intermittently connected mobile hosts. It us...
MOBIQUITOUS
2008
IEEE
14 years 2 months ago
2008
IEEE
Heterogeneous applications could be assimilated within the same wireless sensor network with the aid of modern motes that have multiple sensor boards on a single radio board. Diff...
CSE
2009
IEEE
14 years 1 months ago
2009
IEEE
—Wireless sensor networks consist of a number of small wireless sensor nodes which take measurements and transmit them over wireless links. As wireless sensors are resource const...