2364 search results - page 304 / 473 » An Engine for Computing Well-Founded Models |
144
click to vote
SAC
2004
ACM
16 years 11 days ago
2004
ACM
This work presents an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modeled in a formal ...
170
click to vote
GG
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. Development processes in engineering disciplines are inherently complex. Throughout the development process, different kinds of inter-dependent design documents are creat...
195
click to vote
ISQED
2003
IEEE
16 years 6 days ago
2003
IEEE
In this paper, we evaluate the dependencies between tools, data and environment in process design kits, and present a framework for systematically analyzing the quality of the des...
167
click to vote
GROUP
2003
ACM
16 years 6 days ago
2003
ACM
Reconciliating divergent data is an important issue in concurrent engineering, mobile computing and software configuration management. Currently, a lot of synchronizers or merge ...
189
click to vote
GMP
2010
IEEE
15 years 11 months ago
2010
IEEE
We present a method for medial surface reconstruction from volumetric data of thin-plate objects including junctions. Given medial voxels and distance fields computed from binariz...