5525 search results - page 259 / 1105 » Verification of Model Transformations |
189
click to vote
RV
2010
Springer
15 years 2 months ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
148
click to vote
CIVR
2007
Springer
15 years 11 months ago
2007
Springer
In this paper, we develop a system to classify the outputs of image segmentation algorithms as perceptually relevant or perceptually irrelevant with respect to human perception. T...
171
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
114
Voted
MDAFA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. As part of the AMMA project (ATLAS Model Management Architecture), we are currently building several model management tools to support the tasks of modeling in the large ...
143
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
The standardized QVT Relations language, one cornerstone of Model-Driven Architecture (MDA), has not yet gained widespread use in practice, not least due to missing tool support in...