12670 search results - page 372 / 2534 » Requirements Modeling |
184
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
The construction of composite Web Services from service fragments requires semantic descriptions of service offers and service requests. We propose the use of dependencies as a mo...
214
click to vote
ICIAP
2009
ACM
16 years 7 months ago
2009
ACM
Multi-class binary symbol classification requires the use of rich descriptors and robust classifiers. Shape representation is a difficult task because of several symbol distortions...
158
click to vote
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
Dynamic noise analysis is greatly needed in place of traditional static noise analysis due to the ever increasingly stringent design requirement for VLSI chips based on very deep ...
159
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...
173
click to vote
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper provides an experimental study of the efficiency of simulation-based model-checking algorithms for continuous-time Markov chains by comparing: MRMC – the only tool t...