5525 search results - page 207 / 1105 » Verification of Model Transformations |
143
click to vote
WSFM
2007
Springer
15 years 9 months ago
2007
Springer
The SENSORIA Reference Modelling Language (SRML) provides primitives for modelling business processes in a technology agnostic way. At the core of SRML is the notion of module as a...
140
click to vote
ICIP
2003
IEEE
16 years 5 months ago
2003
IEEE
This paper introduces a novel deformable model for face mapping and its application to automatic person identification. While most face recognition techniques directly model the f...
153
Voted
TAGT
1998
Springer
15 years 8 months ago
1998
Springer
Graphs are a commonly used formalism for modeling many different kinds of static and dynamic data. In many applications, data modeling can be improved by using hierarchically struc...
125
Voted
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...
132
Voted
SCAM
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper concerns the use of static analysis for debugging purposes of declarative object-oriented equation-based modeling languages. We propose a framework where over- and unde...