2940 search results - page 39 / 588 » Relational Parametricity and Control |
AMW
2010
15 years 1 months ago
2010
Abstract. Inference control can guarantee confidentiality but is costly to implement. Access control can be implemented efficiently but cannot guarantee confidentiality. Hence, it ...
191
click to vote
VLDB
2007
ACM
16 years 1 days ago
2007
ACM
Databases are increasingly being used to store information covered by heterogeneous policies, which require support for access control with great flexibility. This has led to incr...
108
click to vote
ICFP
2007
ACM
15 years 11 months ago
2007
ACM
We analyze the computational complexity of kCFA, a hierarchy of control flow analyses that determine which functions may be applied at a given call-site. This hierarchy specifies ...
CHI
1993
ACM
15 years 4 months ago
1993
ACM
As the ease of accessing and generating large quantities of information increases, people’s ability to navigate through that information and maintain personal perspective decrea...
JUCS
2008
14 years 11 months ago
2008
: The following paper introduces the work conducted to create a relative virtual mouse based on the interpretation of head movements and face gesture through a low cost camera and ...