45 search results - page 7 / 9 » Simplifying Transformations of OCL Constraints |
MODELLIERUNG
2010
13 years 7 months ago
2010
: The evolution of software systems often produces incompatibilities with existing data and applications. To prevent incompatibilities, changes have to be wellplanned, and develope...
TSP
2010
13 years 21 days ago
2010
The adaptive estimation of a time-varying parameter vector in a linear Gaussian model is considered where we a priori know that the parameter vector belongs to a known arbitrary s...
ISBI
2008
IEEE
14 years 6 months ago
2008
IEEE
Neuroimaging at the group level requires spatial normalization across individuals. This issue has been receiving considerable attention from multiple research groups. Here we sugg...
JAR
2006
13 years 6 months ago
2006
The dependency pair technique [1, 11, 12] is a powerful method for automated termination and innermost termination proofs of term rewrite systems (TRSs). For any TRS, it generates ...
ECEASST
2008
13 years 6 months ago
2008
Abstract: The diagram editor generator framework DIAMETA utilizes meta-modelbased language specifications and supports free-hand as well as structured editing. In this paper we pre...