2834 search results - page 156 / 567 » Design Intent-Oriented Modelling Tools for Aesthetic Design |
299
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
210
click to vote
ECBS
1999
IEEE
15 years 10 months ago
1999
IEEE
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...
142
click to vote
SPRINGSIM
2007
15 years 7 months ago
2007
Modeling and simulation tools have been used for helping in the early stages of hardware/software systems design. The DEVS formalism is a technique that enables hierarchical descr...
167
click to vote
WCRE
2002
IEEE
15 years 11 months ago
2002
IEEE
Today, software-engineering research and industry alike recognize the need for practical tools to support reverseengineering activities. Most of the well-known CASE tools support ...
145
click to vote
WSC
2004
15 years 7 months ago
2004
This paper presents our work on the integrated use of simulation tools in real time for participatory occupational ergonomic studies. The focus of this paper is a synergistic syst...