5639 search results - page 576 / 1128 » Timed Abstract Non-interference |
169
click to vote
HPCC
2007
Springer
15 years 10 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...
151
Voted
HUC
2007
Springer
15 years 10 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...
162
click to vote
HYBRID
2007
Springer
15 years 10 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...
167
Voted
ICC
2007
IEEE
15 years 10 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...
165
click to vote
GLOBECOM
2009
IEEE
15 years 10 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...