176 search results - page 24 / 36 » Abstraction and Refinement in Protocol Derivation |
INFOCOM
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— In this paper, we develop and analyze a lowcomplexity cooperative protocol that significantly increases the average throughput of multi-hop upstream transmissions for ...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Abstract--Realistic mobility models are fundamental to evaluate the performance of protocols in mobile ad hoc networks. Unfortunately, there are no mobility models that capture the...
TON
2010
13 years 2 months ago
2010
Abstract--This paper proposes KISS, a novel Internet classification engine. Motivated by the expected raise of UDP traffic, which stems from the momentum of P2P streaming applicati...
TWC
2010
13 years 2 months ago
2010
Abstract--This letter analyzes the impact, from a networklayer perspective, of having a single cognitive radio transmitterreceiver pair share the spectrum with multiple primary use...
VLSID
2007
IEEE
14 years 8 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...