477 search results - page 74 / 96 » Design patterns in separation logic |
SIGMOD
2008
ACM
14 years 10 months ago
2008
ACM
Schema integration is the problem of creating a unified target schema based on a set of existing source schemas that relate to each other via specified correspondences. The unifie...
ICCAD
2008
IEEE
14 years 7 months ago
2008
IEEE
—We are developing a framework for computation with biochemical reactions with a focus on synthesizing specific logical functionality, a task analogous to technology-independent...
CF
2011
ACM
12 years 10 months ago
2011
ACM
Dynamic Information Flow Tracking (DIFT) is a powerful technique that can protect unmodified binaries from a broad range of vulnerabilities such as buffer overflow and code inj...
ICCV
2009
IEEE
15 years 3 months ago
2009
IEEE
This paper presents a method to quantitatively evaluate
information contributions of individual bottom-up and topdown
computing processes in object recognition. Our objective
is...
POPL
2004
ACM
14 years 10 months ago
2004
ACM
The contribution of the paper is twofold. First, we define a general notion of type system equipped with an entailment relation between type environments; this generalisation serv...