2374 search results - page 267 / 475 » Automatic Generation of Model Translations |
193
click to vote
ECOOPW
1999
Springer
15 years 10 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
190
click to vote
EUROMICRO
2007
IEEE
15 years 8 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
167
click to vote
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Following the trend of “segmentation for recognition”, we present 2LDA, a novel generative model to automatically segment an image in 2 segments, background and fore...
175
click to vote
GECCO
2010
Springer
15 years 11 months ago
2010
Springer
This paper proposes an estimation of distribution algorithm (EDA) aiming at addressing globally multimodal problems, i.e., problems that present several global optima. It can be r...
165
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
Recently, a generic approach for syntax-based user assistance in diagram editors has been proposed that requires the syntax of the visual language to be defined by a graph grammar...