6167 search results - page 868 / 1234 » Can Refinement be Automated |
151
click to vote
EDOC
2000
IEEE
15 years 9 months ago
2000
IEEE
To satisfy the need for a wide range of enterprise modelling choices, it is necessary to have a rich set of processbased and role-based modelling concepts. It is also necessary to...
141
click to vote
KBSE
1998
IEEE
15 years 9 months ago
1998
IEEE
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...
161
click to vote
MICCAI
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We present a fast and accurate tool for semiautomatic segmentation of volumetric medical images based on the live wire algorithm, shape-based interpolation and a new opti...
150
click to vote
NSDI
2007
15 years 7 months ago
2007
Virtualization can provide significant benefits in data centers by enabling virtual machine migration to eliminate hotspots. We present Sandpiper, a system that automates the ta...
172
click to vote
AOSD
2008
ACM
15 years 7 months ago
2008
ACM
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanc...