3564 search results - page 385 / 713 » Evaluating a Formal Modelling Language |
135
click to vote
CIKM
2007
Springer
15 years 10 months ago
2007
Springer
Dictionary-based approaches to query translation have been widely used in Cross-Language Information Retrieval (CLIR) experiments. Using these approaches, translation has been not...
137
click to vote
CAISE
2008
Springer
15 years 6 months ago
2008
Springer
Quality aspects become increasingly important when business process modeling is used in a large-scale enterprise setting. In order to facilitate a storage without redundancy and an...
146
click to vote
GI
2010
Springer
15 years 2 months ago
2010
Springer
: paper we present a two-level approach to extend the abstract syntax of models with concrete semantics in order to execute such models. First, a light-weight execution infrastruct...
131
click to vote
CC
2010
Springer
15 years 11 months ago
2010
Springer
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
134
click to vote
ECMDAFA
2005
Springer
15 years 9 months ago
2005
Springer
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...