262 search results - page 8 / 53 » Real-time interfaces for composing real-time systems |
138
click to vote
ISI
2004
Springer
15 years 11 months ago
2004
Springer
We propose a surveillance framework (SECRETS: SECure Real-time ElecTronic Surveillance) that is a practical solution to safeguarding sensitive physical facilities like command and ...
186
click to vote
CAV
2012
Springer
13 years 8 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
191
Voted
ISORC
1999
IEEE
15 years 10 months ago
1999
IEEE
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...
176
click to vote
MICCAI
2001
Springer
15 years 10 months ago
2001
Springer
We have developed an image-based human-machine interface that tracks the surgeon’s face robustly in real-time(30Hz) and does not require to use any body-contacted sensing devices...
154
click to vote
FBT
1998
15 years 7 months ago
1998
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...