10790 search results - page 367 / 2158 » Using feature models to automate model transformations |
192
click to vote
LICS
1997
IEEE
15 years 11 months ago
1997
IEEE
We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing the established theory of domains and denotational semantics to form a cohe...
192
click to vote
CP
2003
Springer
16 years 2 days ago
2003
Springer
Constraint programming is a technology which is now widely used to solve combinatorial problems in industrial applications. However, using it requires considerable knowledge and e...
180
click to vote
ISTA
2008
15 years 8 months ago
2008
Seamless exchange of models among different modeling tools increasingly becomes a crucial prerequisite for the success of modeldriven engineering. Current best practices use model ...
178
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
This paper describes an online learning method of color transformation for interactive object recognition. In order to recognize objects under various lighting conditions, the sys...
184
click to vote
IFIP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. A transformation F between protocols associates the messages sent and received by participants in a protocol Π1 with messages sent and received in some Π2. Transformati...