10790 search results - page 134 / 2158 » Using feature models to automate model transformations |
142
Voted
ECMDAFA
2005
Springer
15 years 10 months ago
2005
Springer
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...
126
click to vote
IAT
2008
IEEE
15 years 11 months ago
2008
IEEE
From an external perspective, cognitive agent behaviour can be described by specifying (temporal) correlations of a certain complexity between stimuli (input states) and (re)actio...
145
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
In this paper a sequence of model transformation languages L0, L1, L2 is defined. The first language L0 is very simple, and for this language it is easy to build an efficient compi...
143
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
139
click to vote
CVPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Helmholtz stereopsis is a surface reconstruction method that exploits reciprocity for the recovery of 3D shape without an assumed BRDF model, and it has been shown to yield high q...