10828 search results - page 208 / 2166 » Improving the application of process models |
106
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
Coverage analysis is used to monitor the quality of the verification process. Reports provided by coverage tools help users identify areas in the design that have not been adequat...
WSC
1997
15 years 5 months ago
1997
In this rapidly changing economy, businesses are constantly seeking newer, simpler methods which will help them remain competitive. In this quest, they have discovered that simula...
146
click to vote
ASWEC
2010
IEEE
15 years 4 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
122
click to vote
IFL
2000
Springer
15 years 8 months ago
2000
Springer
Sac is a functional array processing language particularly designed with numerical applications in mind. In this field the runtime performance of programs critically depends on the...
131
click to vote
DANTE
1999
IEEE
15 years 8 months ago
1999
IEEE
Many current multimedia database management systems perform content-based retrieval of images by extracting the values of various features from every object stored in their system...