1998 search results - page 182 / 400 » Basic Association Rules |
129
click to vote
ASIAN
2006
Springer
15 years 7 months ago
2006
Springer
We present formal proof rules for inductive reasoning about the way that data transmitted on the network remains secret from a malicious attacker. Extending a compositional protoco...
133
click to vote
AAAI
2010
15 years 5 months ago
2010
A General Game Player is a system that can play previously unknown games given nothing but their rules. The Game Description Language (GDL) has been developed as a highlevel knowl...
109
click to vote
ENTCS
2007
15 years 4 months ago
2007
We tackle the problem of data-structure rewriting including global and local pointer redirections. Each basic rewrite step may perform three kinds of actions: (i) Local redirectio...
144
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
In ciphertext policy attribute-based encryption (CP-ABE), every secret key is associated with a set of attributes, and every ciphertext is associated with an access structure on a...
131
click to vote
UIST
2010
ACM
15 years 1 months ago
2010
ACM
This paper reports on the design and evaluation of UIMarks, a system that lets users specify on-screen targets and associated actions by means of a graphical marking language. UIM...