515 search results - page 54 / 103 » Ontology-Based Automatic Model Transformations |
ICFEM
2007
Springer
15 years 3 months ago
2007
Springer
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
IJCIS
2007
14 years 9 months ago
2007
by allowing designers to model their systems at different abstraction levels, providing them omatic model transformations to incrementally refine abstract models into more concrete...
IUI
2003
ACM
15 years 3 months ago
2003
ACM
Model-based approaches can be useful when designing nomadic applications, which can be accessed through multiple interaction s. Various models and levels of abstraction can be con...
ICCV
2003
IEEE
15 years 11 months ago
2003
IEEE
We propose modeling images and related visual objects as bags of pixels or sets of vectors. For instance, gray scale images are modeled as a collection or bag of (X, Y, I) pixel v...
DFG
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the ...