Sciweavers

47 search results - page 4 / 10
» Controlling Candidate-Sequential Elections
Sort
View
AMAST
2004
Springer
13 years 11 months ago
Counting Votes with Formal Methods
This abstract provides some background information about the electronic voting experiment that is planned in the Netherlands for the European Elections of 2004, and about our own i...
Bart Jacobs
CORR
2010
Springer
38views Education» more  CORR 2010»
13 years 5 months ago
Normalized Range Voting Broadly Resists Control
We study the behavior of Range Voting and Normalized Range Voting with respect to electoral control. Electoral control encompasses attempts from an election chair to alter the str...
Curtis Menton
CCGRID
2007
IEEE
14 years 4 days ago
Hierarchical Replication Control in a Global File System
We develop a consistent mutable replication extension for NFSv4 tuned to meet the rigorous demands of largescale data sharing in global collaborations. The system uses a hierarchi...
Jiaying Zhang, Peter Honeyman
ICWN
2003
13 years 7 months ago
Distributed Energy Aware MAC Layer Protocol for Wireless Sensor Networks
Due to the fact that sensor nodes are untethered and unattended, energy management is a critical issue in communication mechanism of a wireless sensor network. In this paper, we a...
Ramaraju Kalidindi, Rajgopal Kannan, S. Sitharama ...
SAC
2009
ACM
13 years 10 months ago
Taking total control of voting systems: firmware manipulations on an optical scan voting terminal
The firmware of an electronic voting machine is typically treated as a “trusted” component of the system. Consequently, it is misconstrued to be vulnerable only to an insider...
Seda Davtyan, Sotiris Kentros, Aggelos Kiayias, La...