19936 search results - page 3334 / 3988 » Inductive process modeling |
208
click to vote
SP
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...
205
click to vote
ANCS
2007
ACM
15 years 11 months ago
2007
ACM
Programming specialized network processors (NPU) is inherently difficult. Unlike mainstream processors where architectural features such as out-of-order execution and caches hide ...
199
click to vote
CONCUR
2006
Springer
15 years 11 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
223
click to vote
ER
2006
Springer
15 years 11 months ago
2006
Springer
One of the main drawbacks of the Semantic Web is the lack of semantically rich data, since most of the information is still stored in relational databases. In this paper, we presen...
201
click to vote
ICSE
2000
IEEE-ACM
15 years 11 months ago
2000
IEEE-ACM
Software engineering has traditionally focussed on functional requirements and how to build software that has few bugs and can be easily maintained. Most design approaches include...