2811 search results - page 207 / 563 » Real-Time Component-Based Systems |
155
Voted
FM
2003
Springer
15 years 8 months ago
2003
Springer
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...
116
click to vote
ICMCS
2000
IEEE
15 years 7 months ago
2000
IEEE
Physical modeling of a mass-spring system allows for realistic object motion and deformation in a virtual environment. Previous work in this type of physical modeling relies on ge...
147
Voted
RTCSA
1999
IEEE
15 years 7 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
147
Voted
FGR
1998
IEEE
15 years 7 months ago
1998
IEEE
We describe a virtual mirror interface which can react to people using robust, real-time face tracking. Our display can directly combine a user's face with various graphical ...
186
Voted
VISUALIZATION
1996
IEEE
15 years 7 months ago
1996
IEEE
We present a method for producing real-time volume visualizations of continuously captured, arbitrarily-oriented 2D arrays (slices) of data. Our system constructs a 3D representat...