10790 search results - page 86 / 2158 » Using feature models to automate model transformations |
132
click to vote
SSS
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we concentrate on distributed algorithms for automated synthesis of fault-tolerant programs in the high atomicity model, where all processes can read and write all p...
151
click to vote
SOSYM
2010
15 years 2 months ago
2010
In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, to...
160
click to vote
MICCAI
2004
Springer
16 years 5 months ago
2004
Springer
Abstract. A new hybrid of feature-based and intensity-based registration is presented. The algorithm reflects a new understanding of the role of alignment error in the generation o...
122
click to vote
FGCS
2006
15 years 4 months ago
2006
This work introduces a method for instrumenting applications, producing execution traces, and visualizing multiple trace instances to identify performance features. The approach p...
