Sciweavers

3387 search results - page 13 / 678
» Automating the Metamodeling Process
Sort
View
AGTIVE
2003
Springer
15 years 5 months ago
Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
Juan de Lara, Esther Guerra, Hans Vangheluwe
AI
2009
Springer
15 years 6 months ago
Grid-Enabled Adaptive Metamodeling and Active Learning for Computer Based Design
Many complex, real world phenomena are difficult to study directly using controlled experiments. Instead, the use of computer simulations has become commonplace as a feasible alte...
Dirk Gorissen
DSML
2008
116views Formal Methods» more  DSML 2008»
15 years 1 months ago
Bidirectional Synchronization of Multiple Views of Software Models
: Current best-practices for defining Domain-Specific Modeling Languages call for metamodeling techniques, which do not take into account the future use of such languages in multiv...
Miguel Garcia
ICAS
2008
IEEE
201views Robotics» more  ICAS 2008»
15 years 6 months ago
Distributed Reasoning for Context-Aware Services through Design of an OWL Meta-Model
Abstract—A growing number of applications start using Semantic Web technologies. The base concept in this technology is the use of ontologies, allowing first-order logic reasoni...
Stijn Verstichel, Matthias Strobbe, Pieter Simoens...
WSC
2004
15 years 1 months ago
Computer Automated Multi-Paradigm Modelling for Analysis and Design of Traffic Networks
Computer Automated Multi-Paradigm Modelling (CAMPaM) is an enabler for domain-specific analysis and design. Traffic, a new untimed visual formalism for vehicle traffic networks, i...
Hans Vangheluwe, Juan de Lara