33 search results - page 6 / 7 » Knowledge-based modelling of voting protocols |
IPPS
2007
IEEE
13 years 11 months ago
2007
IEEE
Replication combined with explicit management of data integrity constraints can be used to enhance availability of object-oriented, data-centric distributed systems when node and ...
FORTE
2009
13 years 2 months ago
2009
We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the secur...
EMS
2009
IEEE
13 years 11 months ago
2009
IEEE
—Epidemic-based communications, or “gossiping”, provides a robust and scalable method for maintaining a knowledge base in a sensor network faced with an unpredictable network...
SIGECOM
2010
ACM
13 years 9 months ago
2010
ACM
One of the fundamental problems in the theory of social choice is aggregating the rankings of a set of agents (or voters) into a consensus ranking. Rank aggregation has found appl...
SP
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract—Belief and vulnerability have been proposed recently to quantify information flow in security systems. Both concepts stand as alternatives to the traditional approaches...