206 search results - page 9 / 42 » Sharing in the Weak Lambda-Calculus |
215
click to vote
FROCOS
2009
Springer
16 years 18 days ago
2009
Springer
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the...
180
click to vote
VLDB
2005
ACM
15 years 11 months ago
2005
ACM
In this paper, we address issues related to sharing information in a distributed system consisting of autonomous entities, each of which holds a private database. Semi-honest beha...
239
click to vote
ESAS
2007
Springer
15 years 10 months ago
2007
Springer
Secure communication over wireless channels necessitates authentication of communication partners to prevent man-in-the-middle attacks. For spontaneous interaction between independ...
153
click to vote
SECPERU
2006
IEEE
16 years 1 days ago
2006
IEEE
The objective of this paper is to propose a cryptographic protocol which provides authenticity in the exchange of information between two entities without using any shared secret ...
159
click to vote
CCGRID
2002
IEEE
15 years 11 months ago
2002
IEEE
In this work we present the Internet Backplane Protocol (IBP), a middleware created to allow the sharing of storage resources, implemented as part of the network fabric. IBP allow...