17740 search results - page 3418 / 3548 » Simulation Using Orchestration |
134
Voted
ITNG
2006
IEEE
15 years 11 months ago
2006
IEEE
Sensor networks have emerged as an interesting and important research area in the last few years. In order to construct a wireless sensor network, synchronization of base stations...
131
Voted
LCN
2006
IEEE
15 years 11 months ago
2006
IEEE
: A multi-rate capable IEEE 802.11a/b/g node can utilize different link-layer transmission rates. Interestingly, multi-rate capability is defined by IEEE 802.11 standards only for...
130
click to vote
LCN
2006
IEEE
15 years 11 months ago
2006
IEEE
A collision resolution scheme is essential to the performance of a random-access wireless network. Most schemes employ exponential backoff (EB) to adjust the transmission attempt ...
151
Voted
LICS
2006
IEEE
15 years 11 months ago
2006
IEEE
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...
177
Voted
LICS
2006
IEEE
15 years 11 months ago
2006
IEEE
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to cond...