3921 search results - page 149 / 785 » Transforming Models with ATL |
121
click to vote
MMM
2003
Springer
15 years 6 months ago
2003
Springer
Computer animation is one of the key components of a multimedia document or presentation. Shape transformation between objects of different topology and positions is an open model...
119
click to vote
SCAM
2003
IEEE
15 years 6 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 ...
95
Voted
MFCS
1997
Springer
15 years 4 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 ...
100
Voted
PLILP
1995
Springer
15 years 4 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...
111
click to vote
ACMSE
2008
ACM
15 years 2 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...