352 search results - page 12 / 71 » Proof-Checking a Data Link Protocol |
INFOCOM
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— The topological structure of the Internet infrastructure is an important and interesting subject that attracted significant research attention in the last few years. A...
CCGRID
2004
IEEE
14 years 5 days ago
2004
IEEE
The notion of lambda-Grids posits plentiful collections of computing and storage resources richly interconnected by dedicated dense wavelength division multiplexing (DWDM) optical...
WCNC
2008
IEEE
14 years 2 months ago
2008
IEEE
Hybrid automatic repeat-request (HARQ) is critical to an IEEE 802.16e OFDMA network, as it can significantly improve the reliability of wireless link. However, as revealed by our...
DCOSS
2010
Springer
14 years 13 days ago
2010
Springer
A number of wireless sensor network (WSN) applications demand timely data delivery. However, existing WSNs are designed to conserve energy and not to support timely data transmissi...
ICDCS
2007
IEEE
14 years 2 months ago
2007
IEEE
While extensive studies have been carried out in the past several years for many sensor applications, they cannot be applied to the network with extremely low and intermittent con...