206 search results - page 9 / 42 » Sharing in the Weak Lambda-Calculus |
137
click to vote
FROCOS
2009
Springer
15 years 7 months 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...
117
Voted
VLDB
2005
ACM
15 years 6 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...
158
Voted
ESAS
2007
Springer
15 years 4 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...
102
Voted
SECPERU
2006
IEEE
15 years 6 months 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 ...
97
Voted
CCGRID
2002
IEEE
15 years 5 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...