Sciweavers

10790 search results - page 131 / 2158
» Using feature models to automate model transformations
Sort
View
ACSD
2005
IEEE
126views Hardware» more  ACSD 2005»
15 years 10 months ago
Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation
This paper presents our approach to model distributed discrete event simulation systems in the framework of distributed graph transformation. We use distributed typed attributed g...
Juan de Lara, Gabriele Taentzer
BMCBI
2011
14 years 11 months ago
Bio: : Phylo - phyloinformatic analysis using Perl
Background: Phyloinformatic analyses involve large amounts of data and metadata of complex structure. Collecting, processing, analyzing, visualizing and summarizing these data and...
Rutger A. Vos, Jason Caravas, Klaas Hartmann, Mark...
AMDO
2006
Springer
15 years 8 months ago
Principal Spine Shape Deformation Modes Using Riemannian Geometry and Articulated Models
We present a method to extract principal deformation modes from a set of articulated models describing the human spine. The spine was expressed as a set of rigid transforms that su...
Jonathan Boisvert, Xavier Pennec, Hubert Labelle, ...
ICMT
2009
Springer
15 years 9 months ago
Solving Constraints in Model Transformations
Abstract. Constraint programming holds many promises for model driven software development (MDSD). Up to now, constraints have only started to appear in MDSD modeling languages, bu...
Andreas Petter, Alexander Behring, Max Mühlh&...
DAC
2002
ACM
16 years 5 months ago
Transformation based communication and clock domain refinement for system design
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
Ingo Sander, Axel Jantsch