The number of electronic participation (eParticipation) projects introduced by different governments and international organisations is considerably high and increasing. In order to have an overview of the development of these projects, various evaluation frameworks have been proposed. In this paper, a five-level participation model, which takes into account the advantages of the Social Web or ...

In this paper we present a translation from the simply typed lambda calculus into an extended simply typed lambda calculus that enables programs to be tolerant to transient faults. The translation triples all basic instructions and generates majority voting code for ensuring correct control-flow. We demonstrate that the generated voting code causes evaluation to proceed successfully even in the...

In this contribution, we explore the use of e-voting based cryptographic protocols to implement synchronous as well as asynchronous online electronic evaluation procedures in order to alleviate the problems arising from the lack of interpersonal transaction in open and distance learning environments. Our approach is based on the similarity of privacy requirements exhibited on such environments ...

The probability that an individual is decisive in an election is an important criterion for the evaluation of voting rules. It depends on factors such as the number and the behaviour of the other voters, the available alternatives and, of course, also on the voting rule itself. Classical power indices like the Banzhafor the Shapley-Shubik-Index are only applicable in special cases. In this pape...

The increase of Internet penetration in the last years is boosting the popularity of eVoting systems. However, in order to have a security level similar to that of an in-person voting, a series of security requisites have to be accomplished. This article describes a secure eVoting protocol based on ring signatures. The implementation details and the different modules of a voting platform includ...

In the 2005 Portuguese Parliament General Elections there were non-valid experiments of e-voting at five voting places and also through the Internet. Faculdade de Engenharia da Universidade do Porto audited such experiments. Relevant security, transparency, usability and accessibility evaluation criteria and sub-criteria were defined, and an auditing procedure based on AHP was established. This...

This article is focused on some variations of Reed-Muller codes that yield improvements to the rate for a prescribed decoding performance under the Berlekamp-Massey-Sakata algorithm with majority voting. Explicit formulas for the redundancies of the new codes are given. Introduction Reed-Muller codes belong to the family of evaluation codes, commonly defined on an order domain. The decoding alg...

some applications are critical and must designed Fault Tolerant System. Usually Voting Algorithm is one of the principle elements of a Fault Tolerant System. Two kinds of voting algorithm are used in most applications, they are majority voting algorithm and weighted average algorithm these algorithms have some problems. Majority confronts with the problem of threshold limits and voter of weight...

some applications are critical and must designed Fault Tolerant System. Usually Voting Algorithm is one of the principle elements of a Fault Tolerant System. Two kinds of voting algorithm are used in most applications, they are majority voting algorithm and weighted average algorithm these algorithms have some problems. Majority confronts with the problem of threshold limits and voter of weight...