1306 search results - page 9 / 262 » A Diagrammatic Approach to Model Completion |
115
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
We introduce a graphical framework for Bayesian inference that is sufficiently general to accommodate not just the standard case but also recent proposals for a theory of quantum...
104
click to vote
ASWEC
2010
IEEE
15 years 17 days ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
87
Voted
ICSE
2009
IEEE-ACM
15 years 7 months ago
2009
IEEE-ACM
Model-Driven Engineering (MDE) has become an important development framework for many large-scale software. Previous research has reported that as in traditional code-based develo...
125
click to vote
FMSD
2002
15 years 4 days ago
2002
We present a new technique for verification of complex hardware devices that allows both generality andahighdegreeofautomation.Thetechniqueisbasedonournewwayofconstructinga"li...
107
click to vote
CALCO
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Model-to-model (M2M) transformation consists in transforming models from a source to a target language. Many transformation languages exist, but few of them combine a dec...