10916 search results - page 1820 / 2184 » On Constructive Connectives and Systems |
229
click to vote
STOC
2004
ACM
16 years 1 months ago
2004
ACM
Several peer-to-peer networks are based upon randomized graph topologies that permit efficient greedy routing, e.g., randomized hypercubes, randomized Chord, skip-graphs and const...
223
click to vote
NDSS
2003
IEEE
16 years 26 days ago
2003
IEEE
We study proactive two-party signature schemes in the context of user authentication. A proactive two-party signature scheme (P2SS) allows two parties—the client and the server...
188
click to vote
JCDL
2003
ACM
16 years 25 days ago
2003
ACM
The Web contains a huge volume of unstructured data, which is difficult to manage. In digital libraries, on the other hand, information is explicitly organized, described, and ma...
204
click to vote
PPPJ
2003
ACM
16 years 25 days ago
2003
ACM
The graphical user interface (GUI) is an important component of many software systems. Past surveys indicate that the development of a GUI is a significant undertaking and that t...
192
click to vote
CCS
2003
ACM
16 years 25 days ago
2003
ACM
We propose a new notion of cryptographic tamper evidence. A tamper-evident signature scheme provides an additional procedure Div which detects tampering: given two signatures, Div...