3342 search results - page 592 / 669 » Automating Abstract Interpretation |
FM
1999
Springer
14 years 2 months ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...
HIPC
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. Recent times have seen an explosive growth in the availability of various kinds of data. It has resulted in an unprecedented opportunity to develop automated data-driven ...
MICCAI
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. This paper presents an extended version of the fully automated 3D cerebral vessel reconstruction algorithm developed by Wilson and Noble [11] which is applicable to time-...
SAFECOMP
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. This paper introduces a new method for safety analysis called HiPHOPS (Hierarchically Performed Hazard Origin and Propagation Studies). HiP-HOPS originates from a number ...
ER
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. In this paper we argue that many of the problems one may experience while visiting websites today may be avoided if their builders adopt a proper methodology for designin...