3813 search results - page 521 / 763 » Advanced Interaction in Context |
190
click to vote
CRYPTO
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We present a lower bound on the number of rounds required by Concurrent Zero-Knowledge proofs for languages in NP. It is shown that in the context of Concurrent Zero-Know...
197
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
The members of electronic communities are often unrelated to each other, they may have never met and have no information on each other's reputation. This kind of information ...
160
click to vote
HICSS
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes the uses and architecture of a network-centered computing-rich software platform called PowerWeb. PowerWeb was designed and built as a simulation environment ...
181
click to vote
SIGSOFT
1998
ACM
15 years 10 months ago
1998
ACM
The design of a class hierarchy may be imperfect. For example, a class C may contain a member m not accessed in any C-instance, an indication that m could be eliminated, or moved ...
182
click to vote
TYPES
1998
Springer
15 years 10 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...