6800 search results - page 977 / 1360 » Testing with Functions as Specifications |
196
click to vote
RAID
2001
Springer
15 years 11 months ago
2001
Springer
With the growing deployment of host and network intrusion detection systems, managing reports from these systems becomes critically important. We present a probabilistic approach t...
164
Voted
RE
2001
Springer
15 years 11 months ago
2001
Springer
Diverse uses of information technology (IT) in organizations affect privacy. Developers of electronic commerce, database management, security mechanisms, telecommunication and col...
159
click to vote
SAFECOMP
2001
Springer
15 years 11 months ago
2001
Springer
This paper focuses on the development of a conceptual framework for integrating fault injection mechanisms into the RDD-100 tool2 to support the dependability analysis of computer...
205
click to vote
ICNP
2000
IEEE
15 years 11 months ago
2000
IEEE
Today’s universal communications increasingly involve mobile and battery-powered devices (e.g. hand-held, laptop) over wired and wireless networks. Energy efficiency, as well as...
150
click to vote
ISCA
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper evaluates performance characteristics of the Compaq ES40 shared memory multiprocessor. The ES40 system contains up to four Alpha 21264 CPU’s together with a high-perf...