545 search results - page 23 / 109 » Computer-Aided Method Engineering: An Analysis of Existing E... |
ICSE
1997
IEEE-ACM
13 years 11 months ago
1997
IEEE-ACM
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
SMA
2003
ACM
14 years 1 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...
ADBIS
2010
Springer
13 years 8 months ago
2010
Springer
The problem of designing suitable conceptual modeling languages for system engineering is far from being solved. In the past years, some works have proposed the use of foundational...
CAD
2010
Springer
13 years 8 months ago
2010
Springer
Augmented Reality (AR) has been acclaimed as one of the promising technologies for advancing future UbiComp (Ubiquitous Computing) environments. Despite a myriad of AR application...
ICCAD
2001
IEEE
14 years 5 months ago
2001
IEEE
1 - This paper presents an efficient design exploration environment for high-end core processors. The heart of the proposed design exploration framework is a two-level simulation e...