7049 search results - page 1012 / 1410 » Data Abstraction for CSP-OZ |
254
click to vote
APLAS
2010
ACM
15 years 8 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
240
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: The amount of available biological information is rapidly increasing and the focus of biological research has moved from single components to networks and even larger ...
223
click to vote
BMCBI
2008
15 years 7 months ago
2008
eraction networks. In this abstract, we extend this approach by mining functional flow patterns for the purpose of detecting small-sized modules for specific functions. Methods Our...
209
click to vote
CGF
2010
15 years 7 months ago
2010
Diffusion Tensor Imaging (DTI) has made feasible the visualization of the fibrous structure of the brain white matter. In the last decades, several fiber-tracking methods have bee...
208
click to vote
ENTCS
2008
15 years 7 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...