Sciweavers

1256 search results - page 59 / 252
» A Simple E-Voting Protocol
Sort
View
104
Voted
IPPS
2003
IEEE
15 years 6 months ago
A Generic Broadcast Protocol in Ad Hoc Networks Based on Self-Pruning
In ad hoc wireless networks, a successful broadcasting requires that the nodes forwarding the broadcast packet form a connected dominating set to ensure the coverage. An efficien...
Jie Wu, Fei Dai
111
Voted
ICNP
1998
IEEE
15 years 5 months ago
A State Management Protocol for IntServ, DiffServ and Label Switching
Providing Quality of Service (QOS) in an efficient and scalable manner in the Internet is a topic of active research. The technologies that have drawn the most attention are Integ...
Hari Adiseshu, Guru M. Parulkar, Raj Yavatkar
115
Voted
DSN
2004
IEEE
15 years 4 months ago
Robust Aggregation Protocols for Large-Scale Overlay Networks
Aggregation refers to a set of functions that provide global information about a distributed system. These functions operate on numeric values distributed over the system and can ...
Alberto Montresor, Márk Jelasity, Özal...
122
Voted
ICMAS
1998
15 years 2 months ago
A Market Protocol for Decentralized Task Allocation
We present a decentralized, asynchronous market protocol for allocating and scheduling tasks among agents that contend for scarce resources, constrained by a hierarchical task dep...
William E. Walsh, Michael P. Wellman
130
Voted
PTS
2000
58views Hardware» more  PTS 2000»
15 years 2 months ago
Formal Test Automation: The Conference Protocol with PHACT
We discuss a case study of automatic test generation and test execution based on formal methods. The case is the Conference Protocol, a simple, chatbox-like protocol, for which (fo...
Lex Heerink, Jan Feenstra, Jan Tretmans