445 search results - page 17 / 89 » A Systematic Construction of Abstract Domains |
IJCAT
2010
13 years 7 months ago
2010
Abstract: This paper presents a method for semi-automatically building tailored application ontologies from a set of data acquisition forms. Such ontologies are intended to facilit...
TSMC
2008
13 years 8 months ago
2008
Abstract--This paper presents a work domain analysis of damage control on the Canadian Halifax Class frigate. Our analysis made use of the modeling construct of object worlds to he...
FDL
2007
IEEE
14 years 24 days ago
2007
IEEE
In this paper, we propose a domain specific language for the development of hardware/software cryptographic systems based on the well known Python programming language. It is desi...
BILDMED
2008
13 years 10 months ago
2008
Abstract. The present paper derives two new equations for the nonlinear registration of images based on Euler-Lagrange equations. It offers a systematic way to construct fluid exte...
CIE
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. We present a domain theoretic framework for obtaining exact solutions of linear boundary value problems. Based on the domain of compact real intervals, we show how to app...