5525 search results - page 627 / 1105 » Verification of Model Transformations |
155
Voted
HICSS
2002
IEEE
16 years 1 days ago
2002
IEEE
We are developing a module-oriented, multiphysics, mixed-fidelity system simulation environment that will enable engineers to rapidly analyze the performance of a system and to o...
215
click to vote
CAISE
2001
Springer
15 years 11 months ago
2001
Springer
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninter...
254
Voted
CONCUR
1993
Springer
15 years 11 months ago
1993
Springer
During the course of the last decade, a mathematical model for the parallelization of FOR-loops has become increasingly popular. In this model, a (perfect) nest of r FOR-loops is r...
198
Voted
CODES
2007
IEEE
15 years 11 months ago
2007
IEEE
Today's MPSoC synthesis and exploration design flows start abstract input specification model captured in a system level design language. Usually this model is created from a...
173
click to vote
3DPVT
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we present an approach based on 2D slices for measuring similarity between 3D models. The key idea is to represent the 3D model by a series of slices along certain ...