2351 search results - page 180 / 471 » A Method of Requirement Inconsistency Analysis |
132
click to vote
ICCAD
1999
IEEE
15 years 9 months ago
1999
IEEE
We introduce a new method of verifying the timing of custom CMOS circuits. Due to the exponential number of patterns required, traditional simulation methods are unable to exhaust...
146
click to vote
PKDD
2001
Springer
15 years 9 months ago
2001
Springer
In some domains, Information Extraction (IE) from texts requires syntactic and semantic parsing. This analysis is computationally expensive and IE is potentially noisy if it applie...
173
click to vote
NETWORKING
2004
15 years 6 months ago
2004
We present an efficient authenticated and fault-tolerant protocol (AFTD) for tree-based key agreement. Our approach is driven by the insight that when a Diffie-Hellman blinded key ...
133
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
An important part of the Enterprise Resource Planning (ERP) system implementation process is the decision, which modules are implemented and in which order. We posit that the deci...
128
click to vote
IJCNN
2000
IEEE
15 years 9 months ago
2000
IEEE
The timely and accurate detection of computer and network system intrusions has always been an elusive goal for system administrators and information security researchers. Existin...