5525 search results - page 553 / 1105 » Verification of Model Transformations |
207
click to vote
DAGM
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We propose a novel method for addressing the model selection problem in the context of kernel methods. In contrast to existing methods which rely on hold-out testing or t...
194
click to vote
SE
2008
15 years 8 months ago
2008
: Model Driven Software Development (MDSD) has matured over the last few years and is now becoming an established technology. One advantage that is promoted by the MDSD community i...
194
click to vote
GEOINFO
2004
15 years 8 months ago
2004
In our aim to modernize geographical legacy data from the German office of geographical survey with XML languages, we first modeled the data in GML, a standard language for geograp...
198
click to vote
ICECCS
2010
IEEE
15 years 7 months ago
2010
IEEE
—In the field of distributed computing, there are many round-based algorithms to solve fundamental problems, such as leader election and distributed consensus. Due to the nature...
157
click to vote
ENVSOFT
2010
15 years 7 months ago
2010
Successful composting implies a careful monitoring of the batch process, which includes two phases: active composting and curing. In the first phase, a succession of microbial act...