622 search results - page 14 / 125 » Specifying Functional and Timing Behavior for Real-Time Appl... |
103
click to vote
ACSD
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper proposes a formal framework for the design of real-time shared data-space systems. The proposed method separates the concerns of functionality, behavior, and timing. Th...
119
click to vote
FASE
2000
Springer
15 years 6 months ago
2000
Springer
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and f...
129
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and ...
129
Voted
ICPR
2002
IEEE
15 years 8 months ago
2002
IEEE
We present a fast method for locating iris features in frontal face images based on the Hough transform. It consists of an initial iris detection step and a tracking step which us...
128
click to vote
FUIN
2002
15 years 3 months ago
2002
Control of autonomous mobile robots in dynamical environments is interesting from a cognitive point of view as well as under application view points. Stimulus response controls ar...