10790 search results - page 61 / 2158 » Using feature models to automate model transformations |
173
click to vote
ICMT
2009
Springer
15 years 11 months ago
2009
Springer
Testing model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources su...
153
click to vote
PRIB
2009
Springer
15 years 9 months ago
2009
Springer
Protein-protein interaction (PPI) identification is an integral component of many biomedical research and database curation tools. Automation of this task through classification ...
139
click to vote
ATAL
2000
Springer
15 years 8 months ago
2000
Springer
In this paper we propose a methodology to help analyse tendencies in MAS to complement those of simple inspection, Monte Carlo and syntactic proof. We suggest an architecture that ...
150
click to vote
3DPVT
2006
IEEE
15 years 10 months ago
2006
IEEE
Range sensing technology allows the photo-realistic modeling of large-scale scenes, such as urban structures. A major bottleneck in the process of 3D scene acquisition is the auto...
169
click to vote
LICS
2010
IEEE
15 years 2 months ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...