5525 search results - page 327 / 1105 » Verification of Model Transformations |
161
click to vote
ECIS
2000
15 years 8 months ago
2000
Many of the current crises in contemporary healthcare management centre on issues concerning information management and costs. Electronic commerce (or e-commerce) activity, grounde...
150
click to vote
TVCG
2008
15 years 6 months ago
2008
This paper presents a skeleton-based method for deforming meshes (the skeleton need not be the medial axis). The significant difference from previous skeleton-based methods is that...
200
click to vote
IEEEHPCS
2010
15 years 4 months ago
2010
Stream languages explicitly describe fork-join parallelism and pipelines, offering a powerful programming model for many-core Multi-Processor Systems on Chip (MPSoC). In an embedd...
210
click to vote
DOLAP
2003
ACM
16 years 19 hour ago
2003
ACM
Metadata management is an essential factor in data warehousing. In data warehousing environments, data is transformed and integrated into a single database from multiple autonomou...
180
click to vote
COMPSAC
2005
IEEE
16 years 12 days ago
2005
IEEE
Model driven development (MDD) tackles software complexity through the use of models. However, managing relationships and specifying transformations models at various levels of ab...