252 search results - page 50 / 51 » A Scenario-Based Approach to Protocol Design Using Evolution... |
CORR
2007
Springer
13 years 10 months ago
2007
Springer
abstract such additional information as network annotations. We introduce a network topology modeling framework that treats annotations as an extended correlation profile of a net...
SCP
2010
13 years 9 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
MSWIM
2003
ACM
14 years 4 months ago
2003
ACM
The seamless communication of data and voice over short-range, point-to-multipoint wireless links between mobile and/or stationary devices is becoming a reality by newly introduce...
SIGCOMM
2010
ACM
13 years 11 months ago
2010
ACM
Modern communication technologies are steadily advancing the physical layer (PHY) data rate in wireless LANs, from hundreds of Mbps in current 802.11n to over Gbps in the near fut...
CASES
2010
ACM
13 years 9 months ago
2010
ACM
Dynamic binary translators (DBTs) are becoming increasingly important because of their power and flexibility. However, the high memory demands of DBTs present an obstacle for all ...