986 search results - page 24 / 198 » Simulation Modeling of Weak-Consistency Protocols |
GLOBECOM
2007
IEEE
14 years 3 months ago
2007
IEEE
—Distributed prioritized channel access mechanisms have been adopted by the IEEE 802.11e enhanced distributed channel access (EDCA) and the Multiband OFDM Alliance prioritized ch...
WSC
2004
13 years 10 months ago
2004
Simulation and Emulation techniques are fundamental to aid the process of large-scale protocol design and network operations. However, the results from these techniques are often ...
CSFW
2006
IEEE
14 years 2 months ago
2006
IEEE
Recently, there has been much interest in extending models for simulation-based security in such a way that the runtime of protocols may depend on the length of their input. Findi...
TPDS
2010
13 years 7 months ago
2010
—Various sensor types, e.g., temperature, humidity, and acoustic, sense physical phenomena in different ways, and thus, are expected to have different sensing models. Even for th...
QEST
2010
IEEE
13 years 6 months ago
2010
IEEE
We introduce Fortuna, the first tool for model checking priced probabilistic timed automata (PPTAs). Fortuna can handle the combination of real-time, probabilistic and cost feature...