Sciweavers

3921 search results - page 286 / 785
» Transforming Models with ATL
Sort
View
SE
2008
15 years 8 months ago
Towards Evaluating Maintainability Within Model-Driven Environments
: 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...
Thomas Goldschmidt, Jens Kübler
GEOINFO
2004
15 years 8 months ago
Using XML Languages for Modeling and Web-Visualization of Geographical Legacy Data
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...
Brigitte Mathiak, Andreas Kupfer, Karl Neumann
ICECCS
2010
IEEE
161views Hardware» more  ICECCS 2010»
15 years 6 months ago
Model Checking Round-Based Distributed Algorithms
—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...
Xin An, Jun Pang
ENVSOFT
2010
72views more  ENVSOFT 2010»
15 years 6 months ago
Fuzzy modelling of the composting process
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...
Elisabetta Giusti, Stefano Marsili-Libelli
JMLR
2008
141views more  JMLR 2008»
15 years 6 months ago
Graphical Methods for Efficient Likelihood Inference in Gaussian Covariance Models
In graphical modelling, a bi-directed graph encodes marginal independences among random variables that are identified with the vertices of the graph. We show how to transform a bi...
Mathias Drton, Thomas S. Richardson