3987 search results - page 161 / 798 » Ontology-Based Model Transformation |
149
click to vote
SCAM
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a flexible way in which a deisgn model extracted from Java programs can remain unified with the source code. Each entity declaration and reference in the Java ...
118
click to vote
MFCS
1997
Springer
15 years 8 months ago
1997
Springer
The aim of this paper is an integration of graph grammars with different kinds of behavioural constraints, in particular with temporal logic constraints. Since the usual algebraic ...
122
click to vote
PLILP
1995
Springer
15 years 7 months ago
1995
Springer
We use Girard's linear logic (LL) to produce a semantics for Gamma, a multiset transformation language. The semantics improves on the existing structured operational semantics...
141
click to vote
ACMSE
2008
ACM
15 years 6 months ago
2008
ACM
Indirection exists between the virtual objects that form the computer interface and the input devices through which the user interacts to manipulate these objects. This paper stud...
127
click to vote
JMM2
2006
15 years 4 months ago
2006
Optical Characters Recognition (OCR) has been an active subject of research since the early days of computers. Despite the age of the subject, it remains one of the most challengin...