225 search results - page 7 / 45 » Definition and Analysis of Election Processes |
113
Voted
ICDAR
2009
IEEE
14 years 10 months ago
2009
IEEE
The push toward voting via hand-marked paper ballots has focused attention on the limitations of current optical scan systems. Discrepancies between human and machine interpretati...
99
Voted
SAC
2009
ACM
15 years 5 months ago
2009
ACM
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...
122
click to vote
CSE
2009
IEEE
15 years 7 months ago
2009
IEEE
—We introduce a novel set of social network analysis based algorithms for mining the Web, blogs, and online forums to identify trends and find the people launching these new tren...
ICSE
2003
IEEE-ACM
16 years 15 days ago
2003
IEEE-ACM
Pedagogies such as the Personal Software Process (PSP) shift metrics definition, collection, and analysis from the organizational level to the individual level. While case study r...
ENTCS
2002
15 years 6 days ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...