Sciweavers

390 search results - page 32 / 78
» User-Level Network Interface Protocols
Sort
View
HYBRID
1995
Springer
15 years 6 months ago
Diagnostic Model-Checking for Real-Time Systems
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...
Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
DCOSS
2005
Springer
15 years 8 months ago
Design of Adaptive Overlays for Multi-scale Communication in Sensor Networks
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...
Santashil PalChaudhuri, Rajnish Kumar, Richard G. ...
INFOCOM
1999
IEEE
15 years 6 months ago
TCP and UDP Performance over a Wireless LAN
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...
George Xylomenos, George C. Polyzos
MOBICOM
2009
ACM
15 years 9 months ago
Order matters: transmission reordering in wireless networks
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 ...
Justin Manweiler, Naveen Santhapuri, Souvik Sen, R...
ICQNM
2008
IEEE
178views Chemistry» more  ICQNM 2008»
15 years 9 months ago
A Quantum Network Manager that Supports a One-Time Pad Stream
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...
Alan Mink, Lijun Ma, Tassos Nakassis, Hai Xu, Oliv...