1256 search results - page 151 / 252 » A Simple E-Voting Protocol |
110
Voted
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
— In wireless networks, the use of collaboration has been shown to provide an increase in reliability due to an increase in diversity. Specifically it has been shown that by havi...
92
Voted
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
Agents enacting business processes in large open environments need to adaptively accommodate exceptions. Work on multiagent approaches can flexibly model business processes. This...
96
Voted
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
While argumentation-based negotiation has been accepted as a promising alternative to game-theoretic or heuristic based negotiation, no evidence has been provided to confirm this ...
106
Voted
SAFECOMP
2007
Springer
15 years 7 months ago
2007
Springer
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools p...
88
Voted
STACS
2007
Springer
15 years 7 months ago
2007
Springer
We consider deducibility constraints, which are equivalent to particular Diophantine systems, arising in the automatic verification of security protocols, in presence of associati...