Sciweavers

3119 search results - page 418 / 624
» Abstract Requirement Analysis in Multiagent System Design
Sort
View
PTS
2008
109views Hardware» more  PTS 2008»
15 years 8 months ago
Runtime Verification of C Programs
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
Klaus Havelund
TWC
2008
113views more  TWC 2008»
15 years 6 months ago
Two-dimensional coded classification schemes in wireless sensor networks
Abstract-- This work proposes a novel fault-tolerant classification system based on distributed detection and two-dimensional channel coding. A rule is then derived to reduce the s...
Hung-Ta Pai, Yunghsiang S. Han, Jing-Tian Sung
ICC
2007
IEEE
146views Communications» more  ICC 2007»
16 years 24 days ago
Optimal Double Correlation Filtering for Carrier Frequency Offset Estimation in MIMO OFDM
Abstract— A computationally efficient optimal double correlation (ODC) filter, which works on the fourth order statistics of received samples, is proposed for carrier frequency...
Patrick Ho Wang Fung, Chin Keong Ho
EUROPAR
2007
Springer
16 years 19 days ago
Securing Sensor Reports in Wireless Sensor Networks*
Abstract. The sensor reports from a wireless sensor network are often used extensively in the decision making process in many systems and applications. Hence, classifying real and ...
Al-Sakib Khan Pathan, Choong Seon Hong
CDC
2010
IEEE
294views Control Systems» more  CDC 2010»
15 years 1 months ago
Adaptive self-triggered control over IEEE 802.15.4 networks
The communication protocol IEEE 802.15.4 is becoming pervasive for low power and low data rate wireless sensor networks (WSNs) applications, including control and automation. Never...
Ubaldo Tiberi, Carlo Fischione, Karl Henrik Johans...