1940 search results - page 180 / 388 » The Dynamic Logic of Permission |
294
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
Several formal languages have been proposed to encode privacy policies, ranging from the Platform for Privacy Preferences (P3P), intended for communicating privacy policies to con...
167
click to vote
SACMAT
2009
ACM
16 years 1 months ago
2009
ACM
We develop the foundations for a theory of Group-Centric Secure Information Sharing (g-SIS), characterize a specific family of models in this arena and identify several direction...
199
click to vote
CCS
2007
ACM
16 years 24 days ago
2007
ACM
Traditional Public Key Infrastructures (PKI) have not lived up to their promise because there are too many ways to define PKIs, too many cryptographic primitives to build them wi...
169
Voted
TLDI
2005
ACM
16 years 5 days ago
2005
ACM
Two different ways of defining ad-hoc polymorphic operations commonly occur in programming languages. With the first form polymorphic operations are defined inductively on the...
197
click to vote
ASPLOS
2010
ACM
15 years 11 months ago
2010
ACM
Heterogeneous computing combines general purpose CPUs with accelerators to efficiently execute both sequential control-intensive and data-parallel phases of applications. Existin...