15636 search results - page 75 / 3128 » Modelling by supersaturated designs |
159
click to vote
DATE
2006
IEEE
16 years 6 days ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
141
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper describes a design space exploration experiment for a real application from the embedded networking domain - the physical layer of a wireless protocol. The application ...
217
click to vote
ADBIS
2004
Springer
15 years 11 months ago
2004
Springer
The richer data models of object relational databases opens many more options for the logical design of a database schema increasing the complexity of logical database design enorm...
153
click to vote
VL
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we present a UML profile which defines new stereotypes, tagged values and constraints for visualizing design patterns in UML diagrams. These new stereotypes and tag...
162
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...