470 search results - page 4 / 94 » Semantic Anchoring with Model Transformations |
ASWC
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Semantics shows diversity in real world, document world, mental abstraction world and machine world. Transformation between semantics pursues the uniformity in the divers...
NMELP
1994
13 years 11 months ago
1994
In this paper, we propose a new constructive characterization of those semantics for disjunctive logic programs which are extensions of the well-founded semantics for normal progra...
GCC
2005
Springer
14 years 1 months ago
2005
Springer
The Resource Space Model RSM and Semantic Link Network SLN are models of future interconnection environment, and the combination of them forms a rich semantic layer for the next-ge...
ECEASST
2006
13 years 7 months ago
2006
Abstract. Recently, many researchers are working on semantics preserving model transformation. In the field of graph transformation one can think of translating graph grammars writ...
QSIC
2009
IEEE
14 years 2 months ago
2009
IEEE
—A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of softwareenabled ...