3333 search results - page 376 / 667 » Abstract Proof Search |
148
click to vote
VOTEID
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. End-to-end auditable voting systems are expected to guarantee very interesting, and often sophisticated security properties, including correctness, privacy, fairness, rec...
162
click to vote
SEFM
2006
IEEE
16 years 19 days ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
171
click to vote
SEFM
2006
IEEE
16 years 19 days ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
174
click to vote
INFOCOM
2005
IEEE
16 years 6 days ago
2005
IEEE
Abstract— The distributed hash table (DHT) scheme has become the core component of many large-scale peer-to-peer networks. Degree, diameter, and congestion are important measures...
171
click to vote
ISCAS
2005
IEEE
16 years 6 days ago
2005
IEEE
Abstract — FPGAs offer excellent platform for System-onChips consisting of Intellectual Property (IP) blocks. The problem is that IP blocks and their interconnections are often F...