1134 search results - page 140 / 227 » Using Constraints with Action Language for Model Evolution |
200
click to vote
ICMT
2009
Springer
16 years 26 days ago
2009
Springer
Testing model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources su...
150
click to vote
ICCBSS
2003
Springer
15 years 11 months ago
2003
Springer
We have recently proposed a general approach to engineering protective wrappers as a means of detecting errors or unwanted behaviour in systems employing an OTS (Off-The-Shelf) ite...
179
click to vote
RECOMB
2005
Springer
16 years 6 months ago
2005
Springer
Abstract. Asymmetric functional divergence of paralogues is a key aspect of the traditional model of evolution following duplication. If one gene continues to perform the ancestral...
176
click to vote
ICMLA
2007
15 years 7 months ago
2007
We develop an optical flow estimation framework that focuses on motion estimation over time formulated in a Dynamic Bayesian Network. It realizes a spatiotemporal integration of ...
166
click to vote
ESAW
2009
Springer
16 years 26 days ago
2009
Springer
Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by organization artifacts. This abstract presents a programming language, which is d...