1137 search results - page 159 / 228 » Disciplined Methods of Software Specification: A Case Study |
152
click to vote
SCAM
2006
IEEE
15 years 12 months ago
2006
IEEE
Metamorphic malware — including certain viruses and worms — rewrite their code during propagation. This paper presents a method for normalizing multiple variants of metamorphi...
192
click to vote
FPGA
2000
ACM
15 years 9 months ago
2000
ACM
A method for evaluating and constructing sparse crossbars which are both area efficient and highly routable is presented. The evaluation method uses a network flow algorithm to ac...
171
click to vote
DEBU
2000
15 years 5 months ago
2000
In a traditional information retrieval system, it is assumed that queries can be posed about any topic. In reality, a large fraction of web queries are posed about a relatively sm...
181
click to vote
ISSTA
2009
ACM
16 years 15 days ago
2009
ACM
Bug localization has attracted a lot of attention recently. Most existing methods focus on pinpointing a single statement or function call which is very likely to contain bugs. Al...
177
click to vote
JOC
2010
15 years 23 days ago
2010
We describe several software side-channel attacks based on inter-process leakage through the state of the CPU's memory cache. This leakage reveals memory access patterns, whic...