262 search results - page 8 / 53 » Real-time interfaces for composing real-time systems |
ISI
2004
Springer
15 years 3 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 ...
CAV
2012
Springer
13 years 1 days 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...
100
click to vote
ISORC
1999
IEEE
15 years 1 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...
MICCAI
2001
Springer
15 years 2 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...
FBT
1998
14 years 11 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...