1169 search results - page 10 / 234 » Two Ways to Common Knowledge |
SYNTHESE
2008
14 years 9 months ago
2008
The paper argues, that a direct formalization of the way common sense thinks about the numerical identity of enduring entities, requires that traditional predicate logic is develo...
105
click to vote
NETWORKS
2006
14 years 9 months ago
2006
Mobile agents operating in networked environments face threats from other agents as well as from the hosts (i.e., network sites) they visit. A black hole is a harmful host that de...
PODC
2006
ACM
15 years 3 months ago
2006
ACM
Common2, the family of objects that implement and are wait-free implementable from 2 consensus objects, is extended inhere in two ways: First, the stack object is added to the fam...
ASIACRYPT
2009
Springer
15 years 4 months ago
2009
Springer
Non-malleability is an interesting and useful property which ensures that a cryptographic protocol preserves the independence of the underlying values: given for example an encryp...
NGITS
1997
Springer
15 years 1 months ago
1997
Springer
We propose a new algorithm, called Stripe-join, for performing a join given a join index. Stripe-join is inspired by an algorithm called \Jive-join" developed by Li and Ross....