374 search results - page 8 / 75 » Towards Translating Graph Transformation Approaches by Model... |
117
Voted
JOT
2010
14 years 10 months ago
2010
Nowadays, UML is considered to be the standardized language for object-oriented modeling and analysis. However, UML cannot be used for automatic analyses and simulation. In this pa...
CAISE
2004
Springer
15 years 5 months ago
2004
Springer
This paper introduces an extension to the hypergraph data model used in the AutoMed data intergration approach that allows constraints common in static data modelling languages to ...
ESEC
1997
Springer
15 years 3 months ago
1997
Springer
The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specifica...
GG
2004
Springer
15 years 5 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
130
click to vote
ESOP
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. The Bayesian approach to machine learning amounts to inferring posterior distributions of random variables from a probabilistic model of how the variables are related (th...