3410 search results - page 424 / 682 » Measuring Model Transformation in Model Driven Development |
137
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Space is a spatial programming language designed to exploit the massive parallelism available in a formal model of computation called the Synchronic A-Ram, and physically related ...
118
click to vote
ENTCS
2007
15 years 4 months ago
2007
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
159
click to vote
NC
2010
15 years 3 months ago
2010
My main objective is to point out a fundamental weakness in the conventional conception of computation and suggest a promising way out. This weakness is directly related to a gross...
150
click to vote
FMAM
2010
15 years 2 months ago
2010
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
133
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
A measure of stability for a wide class of pattern recognition algorithms is introduced to cope with overfitting in classification problems. Based on this concept, constructive me...