2374 search results - page 3 / 475 » Automatic Generation of Model Translations |
118
click to vote
FASE
2008
Springer
15 years 3 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...
134
Voted
SDL
2003
15 years 3 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
90
Voted
WSC
2000
15 years 3 months ago
2000
Researchers at the National Institute of Standards and Technology have proposed the development of neutral libraries of simulation components. The availability of such libraries w...
126
click to vote
JSS
2006
15 years 1 months ago
2006
The Mobile Agent Intrusion Detection System (MAIDS) is an agent based distributed Intrusion Detection System (IDS). A disciplined requirement engineering process is developed to b...
166
click to vote
VLDB
2008
ACM
16 years 2 months ago
2008
ACM
We discuss a proposal for the implementation of the model management operator ModelGen, which translates schemas from one model to another, for example from object-oriented to SQL ...