382 search results - page 7 / 77 » Proof Theory for Distributed Knowledge |
POPL
2012
ACM
12 years 2 months ago
2012
ACM
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
In wireless networks, the knowledge of nodal distances is essential for performance analysis and protocol design. When determining distance distributions in random networks, the u...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
The society in which we live today is increasingly a knowledge society. Organizations are turning more and more to knowledge creation and management for the development of their c...
AAAI
2010
13 years 7 months ago
2010
When merging belief sets from different agents, the result is normally a consistent belief set in which the inconsistency between the original sources is not represented. As proba...
CRYPTO
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. Non-interactive zero-knowledge (NIZK) proofs have been investigated in two models: the Public Parameter model and the Secret Parameter model. In the former, a public stri...