6434 search results - page 840 / 1287 » Model Transformations with Reference Models |
131
click to vote
ICSE
2009
IEEE-ACM
16 years 7 months ago
2009
IEEE-ACM
A variety of compilers, static analyses, and testing frameworks rely heavily on path frequency information. Uses for such information range from optimizing transformations to bug ...
150
click to vote
ISBI
2006
IEEE
16 years 6 months ago
2006
IEEE
Myocardial fiber orientations are an important element for accurate modeling of cardiac electromechanics. However it is extremely difficult to estimate these directly in vivo with...
284
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
We propose a new verification method for temporal properties of higher-order functional programs, which takes advantage of Ong's recent result on the decidability of the mode...
176
click to vote
EDBT
2008
ACM
16 years 6 months ago
2008
ACM
Most previous schema mapping works focus on creating mappings in specific data models for data transformation, failing to capture a richer set of possible relationships between sc...
159
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
Software product line engineering is mostly about the systematic management of commonality and variability between product line members. The effectiveness of this approach thus ve...