789 search results - page 36 / 158 » Pushing using Compliance |
117
click to vote
SACMAT
2010
ACM
15 years 3 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
CSFW
2010
IEEE
15 years 2 months ago
2010
IEEE
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...
126
click to vote
HRI
2012
ACM
13 years 6 months ago
2012
ACM
Social robots have to potential to serve as personal, organizational, and public assistants as, for instance, diet coaches, teacher’s aides, and emergency respondents. The succe...
SOUPS
2006
ACM
15 years 5 months ago
2006
ACM
Today organizations do not have good ways of linking their written privacy policies with the implementation of those policies. To assist organizations in addressing this issue, ou...
84
Voted
ICRA
2008
IEEE
15 years 5 months ago
2008
IEEE
—In this work, we explore the mechanical behavior of gecko hairs by means of macromodels. The macromodel has four spatular hairs operating by magnetic forces instead of van der W...