2374 search results - page 432 / 475 » Automatic Generation of Model Translations |
121
click to vote
APLAS
2005
ACM
15 years 7 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
106
click to vote
ASM
2004
ASM
15 years 7 months ago
2004
ASM
Consider a multiple-agent transition system such that, for some basic types T1, . . . , Tn, the state of any agent can be represented as an element of the Cartesian product T1 ×·...
103
click to vote
SOFTVIS
2003
ACM
15 years 7 months ago
2003
ACM
Analysis and design of programs by using tools has emerged to a standard technique in object-oriented software engineering. Many of these tools claim to implement methods accordin...
128
click to vote
FGR
2004
IEEE
15 years 5 months ago
2004
IEEE
Both the configuration of facial features and the timing of facial actions are important to emotion and communication. Previous literature has focused on the former. We developed ...
143
click to vote
EON
2008
15 years 3 months ago
2008
We reuse here the framework, the setting, and the semantic modelling for the automated synthesis of the SWS Challenge Mediator presented in the companion paper [5], and show how to...