1187 search results - page 145 / 238 » A Timed Calculus for Wireless Systems |
126
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— Mobile wireless sensors in indoor environments will experience multipath fading, causing rapid variations in the capacity of the radio link. We present a strategy that increase...
107
Voted
FOSSACS
2003
Springer
15 years 9 months ago
2003
Springer
rized Verification by Probabilistic Abstraction . . . . . . . . . . . . . . . . 87 Tamarah Arons, Amir Pnueli, Lenore Zuck Genericity and the π-Calculus . . . . . . . . . . . . ....
111
click to vote
FIW
2007
15 years 5 months ago
2007
Abstract. One approach to system development is to decompose the requirements into features and specify the individual features before composing them. A major limitation of deferri...
144
click to vote
EDBT
2006
ACM
15 years 7 months ago
2006
ACM
Abstract. In wireless data broadcast systems, popular information is repetitively disseminated through possibly multiple communication channels to mobile clients using various type...
131
Voted
ICCSA
2009
Springer
15 years 11 months ago
2009
Springer
Supporting multimedia traffic is one of the major challenges for the next generation of wireless personal area networks (WPANs). Especially, the IEEE 802.15.4 WPAN standards specif...