6343 search results - page 1055 / 1269 » Robust consensus computation |
175
click to vote
ENC
2005
IEEE
16 years 5 days ago
2005
IEEE
— Recent advances in communication networks and cryptographic techniques have made possible to consider online voting systems as a feasible alternative to conventional elections....
147
click to vote
GLVLSI
2005
IEEE
16 years 4 days ago
2005
IEEE
Boolean Satisfiability (SAT) solvers are popular engines used throughout the verification world. Bounded sequential problems such as bounded model checking and bounded sequentia...
170
click to vote
IAT
2005
IEEE
16 years 4 days ago
2005
IEEE
Trust management model that we present is adapted for ubiquitous devices cooperation, rather than for classic client-supplier relationship. We use fuzzy numbers to represent trust...
185
click to vote
IAT
2005
IEEE
16 years 4 days ago
2005
IEEE
We have proposed a real-time multi-target tracking system by cooperative behaviors of Active Vision Agents (AVAs), where an AVA is a logical model of a networkconnected computer w...
164
click to vote
ICITA
2005
IEEE
16 years 4 days ago
2005
IEEE
Wireless network communities face a number of difficulties due to lack of integration between network and community resources management. In this work, we present a novel solution...