2364 search results - page 207 / 473 » An Engine for Computing Well-Founded Models |
153
click to vote
ISORC
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper provides three contributions to the study of quality of service (QoS) configuration in component-based DRE systems. First, we describe the challenges associated with m...
146
click to vote
ATVA
2008
Springer
15 years 7 months ago
2008
Springer
e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...
131
click to vote
SMA
2003
ACM
15 years 10 months ago
2003
ACM
This paper presents a new method to compute constructive solid geometry (CSG) tree representations of an object whose faces consist of planar and non-planar surfaces. The algorith...
133
Voted
CAD
2005
Springer
15 years 4 months ago
2005
Springer
Heterogeneous structures represent an important new frontier for 21st century engineering. Human tissues, composites, `smart' and multimaterial objects are all physically man...
110
Voted
DAC
2004
ACM
16 years 6 months ago
2004
ACM
The desynchronization approach combines a traditional synchronous specification style with a robust asynchronous implementation model. The main contribution of this paper is the d...