15614 search results - page 271 / 3123 » The State of State |
170
click to vote
ISPDC
2003
IEEE
15 years 12 months ago
2003
IEEE
Many formal modelling notations for business processes have been proposed during the last decade. They can be broadly classified into high-level visual notations, with an intuiti...
162
click to vote
ITC
2003
IEEE
15 years 12 months ago
2003
IEEE
We present a novel methodology for concurrent error detection in linear analog circuits. We develop a rigorous theory that yields an error detection circuit of size that is, in ge...
173
click to vote
QSIC
2003
IEEE
15 years 12 months ago
2003
IEEE
The use of components in development of complex software systems can surely have various benefits. Their testing, however, is still one of the open issues in software engineering...
162
click to vote
DAC
2003
ACM
15 years 12 months ago
2003
ACM
Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. [7] that applies to a...