60 search results - page 11 / 12 » Formal Modelling of Separation Kernel Components |
RTSS
1999
IEEE
13 years 10 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
WAPCV
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. This paper proposes a neuronal-based solution to active visual search, that is, visual search for a given target in displays that are too large in spatial extent to be in...
TROB
2002
13 years 5 months ago
2002
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...
ICHIT
2009
Springer
14 years 17 days ago
2009
Springer
Middleware facilitates the development of distributed systems by accommodating heterogeneity, hiding distribution details and providing a set of common and domain specific service...
AIPR
2001
IEEE
13 years 9 months ago
2001
IEEE
This paper presents a method to process axial monocular image sequences for mobile robot obstacle detection. We do not aim to achieve a complete scene reconstruction, but only to ...