Sciweavers

11 search results - page 3 / 3
» A Web services based platform for exchange of procedural CAD...
Sort
View
EON
2008
13 years 6 months ago
Abductive Synthesis of the Mediator Scenario with jABC and GEM
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...
Christian Kubczak, Tiziana Margaria, Matthias Kais...