3082 search results - page 323 / 617 » Deviation Analysis: A New Use of Model Checking |
152
click to vote
DSN
2005
IEEE
16 years 6 days 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 ...
159
click to vote
ITICSE
2005
ACM
16 years 5 days ago
2005
ACM
Recent research has shown that a student’s learning style – essentially, the way a student approaches and masters new material – can affect student performance in introducto...
146
click to vote
NSPW
2004
ACM
16 years 1 days ago
2004
ACM
We argue in favor of the explicit inclusion of suspicion as a concrete concept to be used in the analysis of audit data in order to guide the search for evidence of misuse. Our ap...
194
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, new and efficient BIST methodology and BIST hardware insertion algorithms are presented for RTL data paths obtained from high level synthesis. The methodology is ba...
217
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Owing to the rapid expansion of RNA structure databases in recent years, efficient methods for structure comparison are in demand for function prediction and evolution...