4 search results - page 1 / 1 » Zenet: generating and enforcing real-time temporal invariant... |
133
click to vote
ICSE
2010
IEEE-ACM
15 years 10 months ago
2010
IEEE-ACM
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
220
click to vote
GW
2007
Springer
16 years 24 days ago
2007
Springer
In this paper, we present a Vision-Based Interface guided by the user gestures. The advantage of our system is that it is built over a motion capture system that recovers the body ...
188
click to vote
RTAS
2008
IEEE
16 years 1 months ago
2008
IEEE
Dynamic Power Management (DPM) techniques are crucial in minimizing the overall energy consumption in real-time embedded systems. The timing constraints of real-time applications ...
158
click to vote
SCALESPACE
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. A family of spatio-temporal scale-spaces suitable for a moving observer is developed. The scale-spaces are required to be time causal for being usable for real time measu...