2137 search results - page 216 / 428 » Proving Abstract Non-interference |
124
click to vote
QCQC
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We consider the communication complexity of the binary inner product function in a variation of the two-party scenario where the parties have an a priori supply of partic...
176
click to vote
ALP
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. We show that non-determinism simplifies coding certain problems into programs. We define a non-confluent, but well-behaved class of rewrite systems for supporting non-...
146
Voted
CSL
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the proposi...
151
Voted
DBPL
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. In the context of the object-oriented data model, a compiletime approach is given that provides for a significant reduction of the amount of run-time transaction overhead...
114
click to vote
ICDT
1997
ACM
15 years 7 months ago
1997
ACM
Abstract. The correctness of nested transactions for multidatabases differs from that of at transactions in that, for nested transactions the execution order of siblings at each re...