1669 search results - page 101 / 334 » Structured Specification of Model Interpreters |
141
Voted
PVM
1997
Springer
15 years 7 months ago
1997
Springer
We present Ensemble, a message-passing implementation methodology, applied to PVM. Ensemble overcomes problems and complexities in developing applications in messagepassing enviro...
154
click to vote
AAAI
2004
15 years 4 months ago
2004
We describe SCoT, a Spoken Conversational Tutor, which has been implemented in order to investigate the advantages of natural language in tutoring, especially spoken language. SCo...
151
Voted
BMCBI
2011
14 years 10 months ago
2011
Background: With continuing identification of novel structured noncoding RNAs, there is an increasing need to create schematic diagrams showing the consensus features of these mol...
138
Voted
TAMODIA
2004
15 years 4 months ago
2004
In a Multiple User Interfaces (MUI) context, several models must be defined and adapted (tasks, user, .). Abstract models are progressively enriched in concrete models using patte...
134
click to vote
FASE
2008
Springer
15 years 5 months ago
2008
Springer
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...