1722 search results - page 103 / 345 » Ontology Formalism Transformation |
109
Voted
ICMT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Pattern-based model-to-model transformation is a new approach for specifying transformations in a declarative, relational and formal style. The language relies on pattern...
105
click to vote
ICALT
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper briefly describes how ontologies can be used to model, validate and execute IMS Learning Design. The main contribution relies on incorporate the implicit knowledge foun...
100
click to vote
COMPSAC
2003
IEEE
15 years 6 months ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
102
Voted
ANSOFT
2002
15 years 17 days ago
2002
This paper addresses two issues: how formal object modeling techniques facilitate the XML application development and how XML technology helps formal/graphical software design proc...
96
Voted
ASIAN
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. We provide a formal definition of information flows in XML transformations and, more generally, in the presence of type driven computations and describe a sound technique...