3987 search results - page 61 / 798 » Ontology-Based Model Transformation |
ICIP
1994
IEEE
16 years 2 months ago
1994
IEEE
123
click to vote
IEEEPACT
2009
IEEE
15 years 7 months ago
2009
IEEE
—Analytical models have been used to estimate optimal values for parameters such as tile sizes in the context of loop nests. However, important algorithms such as fast Fourier tr...
95
Voted
GG
2004
Springer
15 years 6 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
103
Voted
ISTA
2008
15 years 2 months ago
2008
As XML data storage and interchange become ubiquitous, analysts and data engineers increasingly need tools to model their data and map it to XML schemas and to reverse engineer XML...
121
click to vote
MODELS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping ...