Sciweavers

11129 search results - page 1609 / 2226
» Modeling Search Computing Applications
Sort
View
ICDCS
2008
IEEE
16 years 1 months ago
Data Estimation in Sensor Networks Using Physical and Statistical Methodologies
Wireless Sensor Networks (WSNs) are employed in many applications in order to collect data. One key challenge is to minimize energy consumption to prolong network lifetime. A sche...
Yingshu Li, Chunyu Ai, Wiwek P. Deshmukh, Yiwei Wu
DSN
2007
IEEE
16 years 1 months ago
Multiprocessors May Reduce System Dependability under File-Based Race Condition Attacks
Attacks exploiting race conditions have been considered rare and “low risk”. However, the increasing popularity of multiprocessors has changed this situation: instead of waiti...
Jinpeng Wei, Calton Pu
ICCV
2007
IEEE
16 years 1 months ago
Real Time Body Pose Tracking in an Immersive Training Environment
Abstract. We describe a visual communication application for a dark, theaterlike interactive virtual simulation training environment. Our system visually estimates and tracks the b...
Chi-Wei Chu, Ramakant Nevatia
ICPPW
2007
IEEE
16 years 1 months ago
Cooperative Localization with Pre-Knowledge Using Bayesian Network for Wireless Sensor Networks
Obtaining location information by localization schemes for sensor nodes makes applications of wireless sensor networks (WSNs) more meaningful. Most of localization schemes only us...
Shih-Hsiang Lo, Chun-Hsien Wu, Yeh-Ching Chung
B
2007
Springer
16 years 1 months ago
Symmetry Reduction for B by Permutation Flooding
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
Michael Leuschel, Michael J. Butler, Corinna Sperm...
« Prev « First page 1609 / 2226 Last » Next »