775 search results - page 96 / 155 » Behavioral Domain Analysis - The Application-Based Domain Mo... |
87
Voted
MODELS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
117
Voted
CVPR
2007
IEEE
16 years 2 months ago
2007
IEEE
We are interested in modeling the variability of different images of the same scene, or class of objects, obtained by changing the imaging conditions, for instance the viewpoint o...
93
Voted
JOT
2006
15 years 13 days ago
2006
Model transformation has become one of the most focused research field, motivated by for instance the OMG's Model-Driven Architecture (MDA). Metamodeling is a central techniq...
121
Voted
CMSB
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
95
Voted
ICIP
2006
IEEE
16 years 2 months ago
2006
IEEE
For the first time, we present an AM-FM image model that, in addition to being remarkably consistent with human visual perception, also provides perfect reconstruction of the imag...