3410 search results - page 284 / 682 » Measuring Model Transformation in Model Driven Development |
170
click to vote
COMPSAC
2008
IEEE
15 years 6 months ago
2008
IEEE
Model-driven engineering proposes to develop software systems by first creating an executable model of the system design and then transforming this model into an implementation. T...
158
click to vote
IANDC
1998
15 years 6 months ago
1998
We present a model for representing search in theorem proving. This model captures the notion of contraction, which has been central in some of the recent developments in theorem ...
323
click to vote
FPGA
2011
ACM
14 years 10 months ago
2011
ACM
We present an analytical model relating FPGA architectural parameters to the routability of the FPGA. The inputs to the model include the channel width and connection and switch b...
198
click to vote
ASIAMS
2007
IEEE
16 years 1 months ago
2007
IEEE
Composability, the capability to select and assemble offthe-shelf model components in various combinations to satisfy user requirements, is an appealing approach in reducing the t...
146
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
We test the hypothesis that cell membranes in early seaurchin embryos can be modeled as a Voronoi diagram from nuclei centers. In order to obtain a model of the cell geometry agai...