10790 search results - page 293 / 2158 » Using feature models to automate model transformations |
209
click to vote
IJSEKE
2011
14 years 10 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
209
click to vote
ICCV
2007
IEEE
15 years 8 months ago
2007
IEEE
The analysis of facial expression temporal dynamics is of great importance for many real-world applications. Being able to automatically analyse facial muscle actions (Action Units...
154
click to vote
SOFTVIS
2006
ACM
16 years 21 days ago
2006
ACM
Enabling nonexperts to understand a software system and the scenarios of usage of that system can be challenging. Visually modeling a collection of scenarios as social interaction...
186
click to vote
IPMI
2005
Springer
16 years 7 days ago
2005
Springer
Many types of transformations are used to model deformations in medical image registration. While some focus on modeling local changes, some on continuity and invertibility, there ...
224
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...