Sciweavers

1524 search results - page 13 / 305
» Game Relations and Metrics
Sort
View
ICMT
2009
Springer
14 years 4 months ago
A Simple Game-Theoretic Approach to Checkonly QVT Relations
Abstract. The QVT Relations (QVT-R) transformation language allows the definition of bidirectional model transformations, which are required in cases where a two (or more) models ...
Perdita Stevens
JELIA
2004
Springer
14 years 3 months ago
Relational Markov Games
Alberto Finzi, Thomas Lukasiewicz