1888 search results - page 94 / 378 » Proof theory and computational analysis |
92
Voted
ACSAC
2006
IEEE
15 years 6 months ago
2006
IEEE
We propose an architecture of four complimentary technologies increasingly relevant to a growing number of home users and organizations: cryptography, separation kernels, formal v...
104
Voted
CSCW
2002
ACM
15 years 10 days ago
2002
ACM
Activity theory is based on the concept of tools mediating between subjects and objects. In this theory, an individual's creative interaction with his or her surroundings can ...
143
click to vote
PODC
2009
ACM
16 years 1 months ago
2009
ACM
Consider a setting where nodes can vary their transmission power thereby changing the network topology, the goal of topology control is to reduce the transmission power while ensu...
133
click to vote
CCS
2005
ACM
15 years 6 months ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
119
Voted
MM
2010
ACM
15 years 21 days ago
2010
ACM
Images can affect people on an emotional level. Since the emotions that arise in the viewer of an image are highly subjective, they are rarely indexed. However there are situation...