984 search results - page 89 / 197 » Experimenting with Multi-Level Models in a Two-Level Modelin... |
178
click to vote
APCCM
2008
15 years 7 months ago
2008
Model-driven development is the process of creating models of a software system and transforming them into source code. Since the stepwise transformations can be done automaticall...
204
click to vote
PG
1998
IEEE
15 years 10 months ago
1998
IEEE
Space deformation is an important tool in computer animation and shape design. In this paper we propose a new local deformation model based on generalized metaballs. The user spec...
158
click to vote
QEST
2007
IEEE
16 years 14 days ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
212
click to vote
BROADBAND
1998
15 years 7 months ago
1998
A key objective of ATM-based networks is to provide at the same time guaranteed QoS to real time and non-real time services. This calls for thoroughly engineered traffic control m...
161
click to vote
STORYTELLING
2007
Springer
16 years 9 days ago
2007
Springer
We present Wide Ruled, an authoring tool for the creation of generative stories. It is based on the Universe author-goal-based model of story generation, and extends this model by ...