4 search results - page 1 / 1 » Zenet: generating and enforcing real-time temporal invariant... |
ICSE
2010
IEEE-ACM
13 years 11 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...
GW
2007
Springer
14 years 1 months 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 ...
RTAS
2008
IEEE
14 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 ...
SCALESPACE
2007
Springer
14 years 1 months 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...