1256 search results - page 121 / 252 » A Simple E-Voting Protocol |
251
Voted
PADL
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Boyer and Moore's ACL2 theorem prover combines firstorder applicative Common Lisp with a computational, first-order logic. While ACL2 has become popular and is being...
140
click to vote
INFOCOM
2007
IEEE
15 years 11 months ago
2007
IEEE
—We propose a distributed scheduling and active queue management mechanism for wireless ad hoc networks. The approach is based on a random access scheduler where the transmission...
129
click to vote
LCN
2007
IEEE
15 years 11 months ago
2007
IEEE
—The most common technology in Local Area Networks is the Ethernet protocol. The continuing evolution of Ethernet has propelled it into the scope of Metropolitan Area Networks. E...
139
click to vote
IAT
2006
IEEE
15 years 11 months ago
2006
IEEE
A key property of agents is that they are social, and hence the design of agent interactions is a crucial part of an agentoriented software engineering methodology. Agent interact...
137
click to vote
IWNAS
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper proposes a simple and costeffective method named Transmission Error Approximation (TEA) for estimating the distance between two Zigbee devices. The idea is to measure a...