5525 search results - page 135 / 1105 » Verification of Model Transformations |
113
click to vote
AOSE
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. The agent paradigm can be seen as an extension of the notion of (active) objects by concepts like autonomy, cooperation, and goal-oriented behavior. Mainstream object-ori...
142
click to vote
CVPR
2011
IEEE
14 years 11 months ago
2011
IEEE
We describe a generative model of the relationship between two images. The model is deļ¬ned as a factored threeway Boltzmann machine, in which hidden variables collaborate to deļ...
160
Voted
ICANN
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. This paper studies a risk minimization approach to estimate a transformation model from noisy observations. It is argued that transformation models are a natural candidat...
115
Voted
UML
2005
Springer
15 years 8 months ago
2005
Springer
Today, model-driven development is getting more sophisticated and can be used for modeling enterprises and developing application systems. Since current interoperability solutions ...
106
click to vote
CAISE
2008
Springer
15 years 5 months ago
2008
Springer
This paper shows a rigorous approach based on algebraic specications and rewriting logic which makes up for the lack of current transformation languages and oers a balanced rigour-...