1256 search results - page 122 / 252 » A Simple E-Voting Protocol |
128
click to vote
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— Packet data transfer scheme is introduced for intrachip data transfer to solve an interconnection problem. Double transmission lines are provided as a platform of the m...
137
Voted
HPDC
2002
IEEE
15 years 10 months ago
2002
IEEE
In this paper, we describe FOBS: a simple userlevel communication protocol designed to take advantage of the available bandwidth in a highbandwidth, high-delay network environment...
145
Voted
CAV
2007
Springer
15 years 9 months ago
2007
Springer
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
164
click to vote
BIRTHDAY
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We pair session types and contracts using two encodings. The encoding of session types accommodates width and depth subtyping, two properties that partially hold in contr...
153
Voted
CIC
2004
15 years 6 months ago
2004
Layered multicast is probably the most elegant solution to tackle the heterogene ity problem in multicast delivery of real-time multimedia streams. However, the multiple join expe...