3410 search results - page 126 / 682 » Measuring Model Transformation in Model Driven Development |
207
click to vote
BMVC
2002
15 years 8 months ago
2002
A likelihood formulation for human tracking is presented based upon matching feature statistics on the surface of an articulated 3D body model. A benefit of such a formulation ove...
149
click to vote
MODELS
2007
Springer
16 years 13 days 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...
184
click to vote
MODELS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping ...
160
click to vote
ANSS
1997
IEEE
15 years 10 months ago
1997
IEEE
In this paper, we present JSIM, a Java-based simulation and animation environment being developed at the University of Georgia. The JSIM library includes many Java classes to make...
173
click to vote
ASWEC
2008
IEEE
16 years 24 days ago
2008
IEEE
Security is an integral part of most software systems but it is not considered as an explicit part in the development process yet. Input validation is the most critical part of so...