1860 search results - page 314 / 372 » tools 2009 |
170
click to vote
ACSAC
2009
IEEE
16 years 15 days ago
2009
IEEE
: © An Empirical Approach to Modeling Uncertainty in Intrusion Analysis Xinming Ou, Siva Raj Rajagopalan, Sakthiyuvaraja Sakthivelmurugan HP Laboratories HPL-2009-334 intrusion de...
160
click to vote
ISQED
2009
IEEE
16 years 15 days ago
2009
IEEE
— This paper revisits and extends a general linear programming(LP) formulation to exploit multiple knobs such as multi-Lgate footprint-compatible libraries and post-layout Lgateb...
183
click to vote
AOSD
2009
ACM
16 years 15 days ago
2009
ACM
Many aspects for runtime monitoring are history-based: they contain pieces of advice that execute conditionally, based on the observed execution history. History-based aspects are...
175
click to vote
CADE
2009
Springer
16 years 14 days ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
146
click to vote
CCS
2009
ACM
16 years 14 days ago
2009
ACM
Software flaws in native methods may defeat Java’s guarantees of safety and security. One common kind of flaws in native methods results from the discrepancy on how exceptions...