11484 search results - page 493 / 2297 » Modeling in the Large and Modeling in the Small |
192
click to vote
ECMDAFA
2006
Springer
15 years 10 months ago
2006
Springer
In MDE, model transformations should be efficiently tested so that it may be used and reused safely. Mutation analysis is an efficient technique to evaluate the quality of test dat...
157
click to vote
ENTCS
2000
15 years 6 months ago
2000
We present here a large family of concrete models for Girard and Reynolds polymorphism (System F), in a non categorical setting. The family generalizes the construction of the mod...
167
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
We propose to explicitly model white-spaces for Arabic handwriting recognition within different writing variants. Position-dependent character shapes in Arabic handwriting allow f...
161
click to vote
ICSE
2007
IEEE-ACM
16 years 7 months ago
2007
IEEE-ACM
Large design models contain tens of thousands of model elements. Designers easily get overwhelmed maintaining the consistency of such design models over time. Not only is it hard ...
196
click to vote
CAISE
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we present a heuristic approach for finding errors and possible improvements in business process models. First, we translate the information that is included in a m...