634 search results - page 22 / 127 » Separability in the Ambient Logic |
84
Voted
CORR
2010
Springer
14 years 6 months ago
2010
Springer
Middleware technologies often limit the way in which object classes may be used in distributed applications due to the fixed distribution policies that they impose. These policies...
OOPSLA
2010
Springer
14 years 8 months ago
2010
Springer
In logic metaprogramming, programs are not stored as plain textfiles but rather derived from a deductive database. While the benefits of this approach for metaprogramming are ob...
CORR
2011
Springer
14 years 4 months ago
2011
Springer
We take a fresh look at the logics of informational dependence and independence of Hintikka and Sandu and V¨a¨an¨anen, and their compositional semantics due to Hodges. We show h...
171
click to vote
POPL
2004
ACM
15 years 10 months ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
MMMACNS
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. With the rise of global networks like the Internet the importance of workflow systems is growing. However, security questions in such environments often only address secu...