164 search results - page 9 / 33 » Refinement and Verification of Real-Time Systems |
ICFEM
1997
Springer
13 years 11 months ago
1997
Springer
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
ENTCS
2002
13 years 7 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
PTS
2008
13 years 9 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
CVBIA
2005
Springer
14 years 1 months ago
2005
Springer
In this paper, we present a novel deformable model for soft tissue simulation in a real-time manner. The innovative model consists of two submodels: the surface one and the interna...
ICPR
2002
IEEE
14 years 8 months ago
2002
IEEE
A system that performs the tracking of a human head in 3D in real time is presented. The head shape is modeled by an ellipse with a trained color histogram of skin and hair sample...