5525 search results - page 425 / 1105 » Verification of Model Transformations |
190
click to vote
DAGM
2010
Springer
15 years 8 months ago
2010
Springer
We propose a new approach for integrating geometric scene knowledge into a level-set tracking framework. Our approach is based on a novel constrained-homography transformation mode...
180
click to vote
JUCS
2008
15 years 7 months ago
2008
: Nowadays, the complexity of software applications has brought new challenges to developers, having to deal with a large number of computational requirements. Among these requirem...
227
click to vote
SQJ
2010
15 years 5 months ago
2010
One of the main goals of design patterns is to design for change. Many design patterns leave some room for future changes and evolutions. The application of design patterns leads ...
178
click to vote
ER
2007
Springer
16 years 1 months ago
2007
Springer
This paper describes a rule-based algorithm to derive a relational schema from an extended entity-relationship model. Our work is based on an approach by Atzeni and Torlone in whic...
209
click to vote
EPK
2004
15 years 8 months ago
2004
: This paper presents an approach to map EPC business process models available in EPML to Scalable Vector Graphics (SVG) and websites. This mapping has been implemented as an XSLT ...