5525 search results - page 1 / 1105 » Verification of Model Transformations |
105
Voted
IFM
2010
Springer
14 years 8 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
79
Voted
JSS
2010
14 years 5 months ago
2010
In this paper we propose a method to derive OCL invariants from declarative model-to-model transformations in order to enable their verification and analysis. For this purpose we ...
122
Voted
JAR
2008
14 years 10 months ago
2008
This article presents the formal verification, using the Coq proof assistant, of a memory model for low-level imperative languages such as C and compiler intermediate languages. Be...
80
Voted
ICIP
2004
IEEE
15 years 12 months ago
2004
IEEE
In the framework of a face verification system using local features and a Gaussian Mixture Model based classifier, we address the problem of non-frontal face verification (when on...
89
Voted
PR
2006
14 years 10 months ago
2006
: We address the pose mismatch problem which can occur in face verification systems that have only a single (frontal) face image available for training. In the framework of a Bayes...