1722 search results - page 90 / 345 » Ontology Formalism Transformation |
195
Voted
LISP
2006
15 years 19 days ago
2006
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
114
click to vote
ICST
2009
IEEE
14 years 10 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
ICSE
1994
IEEE-ACM
15 years 4 months ago
1994
IEEE-ACM
Abstract. Formal, visual approaches to system modelling are a promising research sub-area of con guration management. A visual notation for con guring software systems, called ConF...
100
Voted
SPRINGSIM
2010
14 years 11 months ago
2010
—Data Fusion (DF) process is in the interest of the military community since it provides the opportunity to achieve information superiority. The System Entity Structure (SES) is ...
ISMIS
2003
Springer
15 years 5 months ago
2003
Springer
T his paper outlines a formal theory for de fining action concepts in taxonomical knowledge representation languages, in a form closely related to description logics. The central p...