390 search results - page 32 / 78 » User-Level Network Interface Protocols |
155
click to vote
HYBRID
1995
Springer
15 years 9 months ago
1995
Springer
Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...
170
click to vote
DCOSS
2005
Springer
15 years 11 months ago
2005
Springer
In wireless sensor networks, energy and communication bandwidth are precious resources. Traditionally, layering has been used as a design principle for network stacks; hence routin...
224
click to vote
INFOCOM
1999
IEEE
15 years 10 months ago
1999
IEEE
We present a comprehensive set of measurements of a 2.4 GHz DSSS wireless LAN and analyze its behavior. We examine issues such as host and interface heterogeneity, bidirectional (T...
129
click to vote
MOBICOM
2009
ACM
16 years 14 days ago
2009
ACM
Modern wireless interfaces support a physical layer capability called Message in Message (MIM). Briefly, MIM allows a receiver to disengage from an ongoing reception, and engage ...
202
click to vote
ICQNM
2008
IEEE
16 years 11 days ago
2008
IEEE
We have begun to expand the NIST quantum key distribution (QKD) system into a quantum network to support secure cryptography. We are starting with a simple three-node network, one...