302 search results - page 7 / 61 » An approach to synthesise safe systems |
ICRA
2009
IEEE
15 years 7 months ago
2009
IEEE
— In this paper we discuss the integration of active and passive approaches to robotic safety in an overall scheme for real-time manipulator control. The active control approach ...
98
Voted
ERSA
2006
15 years 1 months ago
2006
Abstract-- In this work the problem of modeling reconfigurable systems behavior with a precise, executable semantics is considered. The possibility of synthesising such models onto...
AH
2000
Springer
15 years 4 months ago
2000
Springer
This paper describes a system that delivers travel guides tailored to individual needs. It does so by integrating a discourse planner with a system for querying the web and genera...
109
click to vote
RTCSA
2000
IEEE
15 years 4 months ago
2000
IEEE
As a starting point for static program analysis a control flow graph (CFG) is needed. If only the binary executable is available, this CFG has to be reconstructed from sequences ...
89
Voted
TIC
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. We present the design and implementation of the first complete framework for flexible and safe dynamic linking of native code. Our approach extends Typed Assembly Languag...