2364 search results - page 304 / 473 » An Engine for Computing Well-Founded Models |
114
click to vote
SAC
2004
ACM
15 years 10 months 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 ...
145
click to vote
GG
2004
Springer
15 years 10 months 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...
156
Voted
ISQED
2003
IEEE
15 years 10 months 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...
130
Voted
GROUP
2003
ACM
15 years 10 months 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 ...
159
click to vote
GMP
2010
IEEE
15 years 9 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...