5084 search results - page 341 / 1017 » Proving Possibility Properties |
167
click to vote
VOTEID
2007
Springer
16 years 25 days ago
2007
Springer
Kutylowski et al. have introduced a voter-verifiable electronic voting scheme ”a practical voting scheme with receipts”, which provides each voter with a receipt. The voter ca...
159
click to vote
WG
2007
Springer
16 years 25 days ago
2007
Springer
Modularity is a recently introduced quality measure for graph clusterings. It has immediately received considerable attention in several disciplines, and in particular in the compl...
151
click to vote
DSN
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper provides a technique, based on partially observable Markov decision processes (POMDPs), for building automatic recovery controllers to guide distributed system recovery...
193
click to vote
FDL
2006
IEEE
16 years 23 days ago
2006
IEEE
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...
176
click to vote
GLOBECOM
2006
IEEE
16 years 23 days ago
2006
IEEE
— For a two user fading Gaussian multiple access channel with user cooperation, we show that window decoding achieves the same sum rate as backwards decoding, when the encoding i...