351 search results - page 46 / 71 » Properties of Behavioural Model Merging |
127
click to vote
APN
1994
Springer
15 years 8 months ago
1994
Springer
This paper shows how Coloured Petri Nets (CP-nets) can be extended to support synchronous communication. We introduce coloured communication channels through which transitions are...
134
click to vote
3DIM
2007
IEEE
15 years 10 months ago
2007
IEEE
In modern computer graphics, 3D scanning is common practise for the acquisition of the geometry of objects. However, in addition to geometric models, physical models of interactio...
151
click to vote
TGC
2005
Springer
15 years 9 months ago
2005
Springer
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties ...
164
click to vote
EUROGP
2007
Springer
15 years 7 months ago
2007
Springer
This work details an auction-based model for problem decomposition in Genetic Programming classification. The approach builds on the population-based methodology of Genetic Progra...
132
click to vote
ENTCS
2000
15 years 3 months ago
2000
Haskell currently lacks a standard operational semantics. We argue that such a semantics should be provided to enable reasoning about operational properties of programs, to ensure...