10790 search results - page 69 / 2158 » Using feature models to automate model transformations |
157
click to vote
ENTCS
2006
15 years 4 months ago
2006
In this study, we introduce a model transformation tool for a time-triggered language: Giotto. The tool uses graphs to represent the source code (Giotto) and the target (the sched...
127
Voted
ICDAR
2003
IEEE
15 years 9 months ago
2003
IEEE
Content-based retrieval and recognition of graphic images requires good models for symbol representation, able to identify those features providing the most relevant information a...
166
click to vote
JOT
2010
15 years 2 months ago
2010
Nowadays, UML is considered to be the standardized language for object-oriented modeling and analysis. However, UML cannot be used for automatic analyses and simulation. In this pa...
110
click to vote
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
In many pattern recognition tasks, given some input data and a family of models, the “best” model is defined as the one which maximizes the likelihood of the data given the m...
175
click to vote
JAR
2008
15 years 4 months ago
2008
This article presents the formal verification, using the Coq proof assistant, of a memory model for low-level imperative languages such as C and compiler intermediate languages. Be...