129 search results - page 5 / 26 » A Solution Framework on Fundamentals in Model Transformation |
ADBIS
2005
Springer
15 years 5 months ago
2005
Springer
XML-relational systems with well defined XML and relational schemas are widely used in industry. In the presence of rapidly changing requirements both schemas of such a model need...
158
Voted
ER
1995
Springer
15 years 3 months ago
1995
Springer
We describe a (meta) formalism for defining a variety of (object oriented) data models in a unified framework based on a variation of first-order logic. As specific example we use...
136
Voted
JUCS
2010
14 years 6 months ago
2010
Abstract: Authoring of Adaptive Educational Hypermedia is a complex activity requiring the combination of a range of design and validation techniques. We demonstrate how Adaptive E...
ENTCS
2008
14 years 11 months ago
2008
The satisfiability problem is the fundamental problem in proving the conflict-freeness of specifications, or in finding a counterexample for an invalid statement. In this paper, w...
ICASSP
2010
IEEE
14 years 10 months ago
2010
IEEE
Least-squares estimation has always been the main approach when applying prediction error methods (PEM) in the identification of linear dynamical systems. Regardless of the estim...