1980 search results - page 282 / 396 » Compositional Model Checking of Real Time Systems |
150
click to vote
WSC
1998
15 years 4 months ago
1998
A significant challenge in implementing the Theory of Constraints in the semiconductor industry is the complex and reentrant nature of the manufacturing process. Managing a constr...
130
click to vote
DAGM
2001
Springer
15 years 7 months ago
2001
Springer
Novel similarity measures for object recognition and image matching are proposed, which are inherently robust against occlusion, clutter, and nonlinear illumination changes. They c...
117
click to vote
FMOODS
2000
15 years 4 months ago
2000
We propose a formal real-time semantics for UML statecharts aimed at the requirements level. A requirements-level model assumes perfect technology and has a considerably simpler se...
150
click to vote
ADAEUROPE
2005
Springer
15 years 8 months ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
139
click to vote
IVC
2002
15 years 2 months ago
2002
This paper presents a novel three-dimensional model-based tracking system which has been incorporated into a visual servoing system. The tracking system combines modern graphical ...