3335 search results - page 532 / 667 » Grid result checking |
139
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Increase in system level modeling has given rise to a need for efficient functional validation of models above cycle accurate level. This paper presents a technique for comparing...
132
Voted
DSN
2005
IEEE
15 years 9 months ago
2005
IEEE
A Cyclic Redundancy Code (CRC), when used properly, can be an effective and relatively inexpensive method to detect data corruption across communication channels. However, some sy...
112
Voted
DSN
2005
IEEE
15 years 9 months ago
2005
IEEE
System call monitoring is a technique for detecting and controlling compromised applications by checking at runtime that each system call conforms to a policy that specifies the ...
102
click to vote
ICAC
2005
IEEE
15 years 9 months ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
145
click to vote
ICITA
2005
IEEE
15 years 9 months ago
2005
IEEE
Intrusion Detection Systems (IDS) have become widely used tools for ensuring system and network security. Among many other challenges, contemporary IDS have to cope with increasin...