1422 search results - page 92 / 285 » Complementation in Abstract Interpretation |
109
click to vote
ENTCS
2007
15 years 4 months ago
2007
We investigate the domain-theoretic denotational semantics of a CPS with fresh name declaration. This is the target of a fully abstract CPS translation from the nu-calculus with ï...
176
click to vote
CCS
2011
ACM
14 years 4 months ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
154
Voted
KDD
2009
ACM
16 years 5 months ago
2009
ACM
The increasing availability of electronic communication data, such as that arising from e-mail exchange, presents social and information scientists with new possibilities for char...
142
click to vote
WOLLIC
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
146
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Elucidating biological networks between proteins appears nowadays as one of the most important challenges in systems biology. Computational approaches to this problem ...