We present here two consensus algorithms in shared memory asynchronous systems with the eventual leader election failure detector Ω. In both algorithms eventually only the leader given by failure detector Ω will progress, and being eventually alone to make steps the leader will decide. The first algorithm uses an infinite number of multi-writer multi-reader atomic registers and works with an un...

We define the highly available local leader election problem, a generalization of the leader election problem for partitionable systems. We propose a protocol that solves the problem efficiently and give some performance measurements of our implementation. The local leader election service has been proven useful in the design and implementation of several fail-aware services for partitionable s...

11.15AM – 12.00Noon Keynote VII (Skype) Cognitive Group-Based Collaborative Sensor Network for Sensing and Monitoring the Water Environment (Skype Presentation) Dr. Jaime Lloret Mauri, Associate Professor, Department of Communications, Polytechnic University of Valencia, Spain 12.00Noon – 01.00PM Keynote VIII Data Center Networking Dr. Mohit P. Tahiliani, National Institute of Technology Karnat...

This paper analyzes the Diebold Election Systems, Inc. election management software (GEMS) using publicly accessible postings of GEMS election databases. It finds that the GEMS architecture fails to conform to fundamental database design principles and software industry standards for ensuring accurate data. Thus, in election tabulations, aspects of the GEMS design can lead to, or fail to protec...

Democracy was not a well known term for the Iraqi people till 2003, when the US and coalition forces begun a military action against the Iraqi regime at that time. After that, the new constitution in Iraq allows the citizen to elect the government, the local governments, and the parliament, every 4 years. For this reason, the Independent High Electoral Commission (IHEC) was established to manag...

We examine the effects of a type of electoral fraud easily perpetrated by someone with access to the system software for a direct-recording electronic voting system. The hypothetical attacker modifies the software to arbitrarily change a small number of votes on each voting machine. We determine the effect of this manipulation on the electoral college results of the 2000 United States President...

Vision-based human action and activity recognition has an increasing importance among the computer vision community with applications to visual surveillance, video retrieval and human–computer interaction. In recent years, more and more datasets dedicated to human action and activity recognition have been created. The use of these datasets allows us to compare different recognition systems with...

We study the parameterized control complexity of Bucklin voting and of fallback voting, a voting system that combines Bucklin voting with approval voting. Electoral control is one of many different ways for an external agent to tamper with the outcome of an election. We show that even though the representation of the votes and the winner determination is different, the parameterized complexity ...