4814 search results - page 233 / 963 » Combining abstract interpreters |
193
click to vote
DBSEC
2008
15 years 7 months ago
2008
To protect critical resources in today’s networked environments, it is desirable to quantify the likelihood of potential multi-step attacks that combine multiple vulnerabilities....
179
click to vote
ADHOC
2008
15 years 6 months ago
2008
Virtual machines (VM) are promising as system software in sensor networks. A major impediment to their widespread acceptance is their performance overhead. Compiling VM bytecode to...
167
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Spreadsheet engineering methodologies are diverse and sometimes contradictory. It is difficult for spreadsheet developers to identify a spreadsheet engineering methodology that is...
179
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Traditional Non-Negative Matrix Factorization (NMF) [19] is a successful algorithm for decomposing datasets into basis function that have reasonable interpretation. One problem of...
184
click to vote
ENTCS
2008
15 years 6 months ago
2008
In any language designed to express transformations, the notion of rewrite rule is a key feature. Its conciseness as well as its strong theoretical foundations are essential. The ...