807 search results - page 96 / 162 » Model Transformation Language MOLA |
118
click to vote
LREC
2008
15 years 5 months ago
2008
In this paper, we present a simple yet efficient automatic system to translate biomedical terms. It mainly relies on a machine learning approach able to infer rewriting rules from...
128
Voted
IFM
1999
Springer
15 years 8 months ago
1999
Springer
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable f...
124
Voted
ASWEC
2009
IEEE
15 years 1 months ago
2009
IEEE
Complex data mapping tasks often arise in software engineering, particularly in code generation and model transformation. We describe Marama Torua, a tool supporting high-level sp...
124
Voted
APAL
2010
15 years 3 months ago
2010
This paper provides a sound and complete proof system for a language Le+Y that adds to Dynamic Epistemic Logic (DEL) a discrete previous-time operator as well as single symbol for...
134
Voted
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...