6434 search results - page 271 / 1287 » Model Transformations with Reference Models |
159
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
Building semantic models that account for various kinds of indirect reference has traditionally been a difficult problem. Indirect reference can appear in many guises, such as hea...
177
click to vote
BIRTHDAY
2005
Springer
16 years 4 days ago
2005
Springer
The “classical” approach to represent Petri nets by graph transformation systems is to translate each transition of a specific Petri net to a graph rule (behavior rule). This ...
216
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
This paper proposes a new approach to combined spatial (Intra) prediction and adaptive transform coding in block-based video and image compression. Context-adaptive spatial predic...
165
click to vote
WSC
1997
15 years 8 months ago
1997
An important problem often faced by simulation analysts is that of choosing (or selecting) one of several potential system designs. This can be accomplished by comparing output fr...
171
click to vote
ACTA
2007
15 years 6 months ago
2007
We provide a novel model to formalize a well-known algorithm, by Chandra and Toueg, that solves Consensus among asynchronous distributed processes in the presence of a particular ...