8499 search results - page 340 / 1700 » cans 2009 |
172
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
Security APIs are used to define the boundary between trusted and untrusted code. The security properties of existing APIs are not always clear. In this paper, we give a new generi...
200
click to vote
CCS
2009
ACM
16 years 7 months ago
2009
ACM
Unified and formal knowledge models of the information security domain are fundamental requirements for supporting and enhancing existing risk management approaches. This paper de...
174
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We give a method for modular generation of ground interpolants in modern SMT solvers supporting multiple theories. Our method uses a novel algorithm to modify the proof t...
163
click to vote
ICIAP
2009
ACM
16 years 7 months ago
2009
ACM
Abstract. Discrete distortion for two- and three-dimensional combinatorial manifolds is a discrete alternative to Ricci curvature known for differentiable manifolds. Here, we show ...
148
click to vote
DCC
2009
IEEE
16 years 7 months ago
2009
IEEE
A current challenge in scientific computing is how to curb the growth of simulation datasets without losing valuable information. While wavelet based methods are popular, they req...