6239 search results - page 95 / 1248 » From Zinc to Design Model |
167
click to vote
SMA
1999
ACM
15 years 10 months ago
1999
ACM
Nearly all major commercial computer-aided design systems have adopted a feature-based design approach to solid modeling. Models are created via a sequence of operations which app...
156
click to vote
EMSOFT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
195
click to vote
ADBIS
2010
Springer
15 years 6 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...
216
click to vote
CMOT
2011
14 years 10 months ago
2011
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...
156
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes several refinements starti...