3387 search results - page 482 / 678 » Model-Checking for Real-Time Systems |
130
click to vote
RTAS
2005
IEEE
15 years 10 months ago
2005
IEEE
Control systems running on a computer are subject to timing disturbances coming from implementation constraints. Fortunately closed-loop systems behave robustly w.r.t. modelling e...
185
click to vote
RTAS
2003
IEEE
15 years 10 months ago
2003
IEEE
The use of feedback control theory for performance guarantees in QoS-aware systems has gained much attention in recent years. In this paper, we investigate merging, within a singl...
121
click to vote
IUI
2003
ACM
15 years 10 months ago
2003
ACM
We present a primarily speech-based user interface to a wide range of entertainment, navigation and communication applications for use in vehicles. The multimodal dialog enables t...
121
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
This paper describes an agent application for the coordination of aircraft repair, refit, refuel, and rearm teams in a dynamic setting. The paper also presents a new algorithm fo...
149
click to vote
ICVS
2003
Springer
15 years 10 months ago
2003
Springer
This paper discusses the design of a working system that visually recognizes hand gestures for the control of a window based user interface. We present a method for tracking the fi...