Sciweavers

3888 search results - page 68 / 778
» Change-Driven Model Transformations
Sort
View
161
Voted
MODELS
2009
Springer
15 years 8 months ago
On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars
Triple graph grammars (TGGs) are a formal and intuitive concept for the specification of model transformations. Their main advantage is an automatic derivation of operational rule...
Hartmut Ehrig, Claudia Ermel, Frank Hermann, Ulrik...
SIGGRAPH
1997
ACM
15 years 8 months ago
Progressive simplicial complexes
In this paper, we introduce the progressive simplicial complex (PSC) representation, a new format for storing and transmitting triangulated geometric models. Like the earlier prog...
Jovan Popovic, Hugues Hoppe
FASE
2011
Springer
14 years 7 months ago
Type-Safe Evolution of Spreadsheets
Abstract. Spreadsheets are notoriously error-prone. To help avoid the introduction of errors when changing spreadsheets, models that capture the structure and interdependencies of ...
Jácome Cunha, Joost Visser, Tiago L. Alves,...
BMVC
2001
15 years 6 months ago
Human Shape Estimation in a Multi-Camera Studio
This paper addresses the problem of estimating the shape of an actor in a multi-camera studio for arbitrarily positioned cameras and arbitrary human pose. We adopt a seamless arti...
Jonathan Starck, Adrian Hilton, John Illingworth
GI
2009
Springer
15 years 1 months ago
Specification based testing of automotive human machine interfaces
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
Holger Grandy, Sebastian Benz