Sciweavers

2374 search results - page 89 / 475
» Automatic Generation of Model Translations
Sort
View
JCIT
2007
126views more  JCIT 2007»
15 years 4 months ago
Rough Petri Net Model (RPNM) For knowledge Representation, Rules Generation and Reasoning
Rough Petri nets model (RPNM) for knowledge representation, rule generation, and reasoning is presented in this paper. An algorithm for verifying the consistency of a rough knowle...
Hala S. Own
ER
2007
Springer
111views Database» more  ER 2007»
15 years 10 months ago
Provability-Based Semantic Interoperability Via Translation Graphs
Provability-based semantic interoperability (PBSI) is a kind of interoperability that transcends mere syntactic translation to allow for robust, meaningful information exchange acr...
Joshua Taylor, Andrew Shilliday, Selmer Bringsjord
IWANN
2009
Springer
15 years 9 months ago
Easing the Smart Home: Translating Human Hierarchies to Intelligent Environments
Abstract. Ubiquitous computing research have extended traditional environments in the so–called Intelligent Environments. All of them use their capabilities for pursuing their in...
Manuel García-Herranz, Pablo A. Haya, Xavie...
AIED
2009
Springer
15 years 11 months ago
Using Task-Based Modeling to Generate Scaffolding in Narrative-Guided Exploratory Learning Environments
Abstract. A description of a novel domain-independent framework that automatically generates and fades scaffolding supports for task-oriented learning within exploratory environmen...
James M. Thomas, R. Michael Young
ISSRE
2006
IEEE
15 years 10 months ago
Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool
In a Model-Driven Development context (MDE), model transformations allow memorizing and reusing design know-how, and thus automate parts of the design and refinement steps of a so...
Erwan Brottier, Franck Fleurey, Jim Steel, Benoit ...