5639 search results - page 576 / 1128 » Timed Abstract Non-interference |
195
click to vote
HPCC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Energy consumption is a major factor that limits the performance of sensor applications. Sensor nodes have varying sampling rates since they face continuously changing en...
168
click to vote
HUC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This study has created the Playful Tray that adopts Ubicomp and persuasive techniques into play-based occupational therapy for reducing poor eating behavior in young chil...
185
click to vote
HYBRID
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
189
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract-- Most user cooperation protocols work in a timesharing manner, where each user transmits its own message and relays for the other at different segments of a time slot. We...
191
click to vote
GLOBECOM
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract--In communication systems where full-duplex transmission is required, digital echo cancellers are employed to cancel echo by means of adaptive filtering. In order to reduc...