1209 search results - page 118 / 242 » Universal Algebra and Computer Science |
175
click to vote
AI
2011
Springer
14 years 10 months ago
2011
Springer
ating Abstract Argumentation with Classical Logic Arguments: Postulates and Properties Nikos Gorogiannisa , Anthony Hunterb,∗ aDepartment of Computer Science, Queen Mary, Univers...
148
click to vote
IACR
2011
14 years 2 months ago
2011
We put forth a framework for expressing security requirements from interactive protocols in the presence of arbitrary leakage. This allows capturing different levels of leakage to...
137
Voted
SIGGRAPH
2009
ACM
15 years 9 months ago
2009
ACM
Over the past few decades, the arts have become increasingly dependent on and influenced by the development of computer technology. In the 1960s pioneering artists experimented w...
130
click to vote
LISA
1994
15 years 4 months ago
1994
Managing large scale UNIX networks so that users can use resources on multiple systems is traditionally performed using NIS, NFS, and DNS. Proper use of these tools requires exact...
161
click to vote
STOC
2000
ACM
15 years 6 months ago
2000
ACM
We first study the problem of doing Verifiable Secret Sharing (VSS) information theoretically secure for a general access structure. We do it in the model where private channels b...