1187 search results - page 41 / 238 » A Timed Calculus for Wireless Systems |
116
Voted
LMCS
2007
15 years 3 months ago
2007
Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed λ-calculus and the modal µ-calculus. This makes it a highly expressive temporal logic that is capable of express...
125
Voted
JCM
2006
15 years 3 months ago
2006
- Current wireless systems are called vendor-central systems because, users should subscribe to a service provider (vendor) and receive the service through the spectrum assigned to...
141
Voted
ICAT
2006
IEEE
15 years 9 months ago
2006
IEEE
The wireless sensor network based localization system—Cicada is designed to support the locationawareness in indoor environment. The system is based on TDOA (time difference of ...
126
Voted
SUTC
2010
IEEE
15 years 7 months ago
2010
IEEE
—To maximize the communication throughput for wireless sensing systems, designers have attempted various combinations of protocol design and manual code optimization. Although th...
151
Voted
INFOCOM
2012
IEEE
13 years 6 months ago
2012
IEEE
—We present the design and implementation of ADAM, the first adaptive beamforming based multicast system and experimental framework for indoor wireless environments. ADAM addres...