14824 search results - page 2806 / 2965 » Security - Introduction |
CHI
2007
ACM
15 years 11 months ago
2007
ACM
A common video surveillance task is to keep track of people moving around the space being monitored. It is often difficult to track activity between cameras because locations such...
CHI
2006
ACM
15 years 11 months ago
2006
ACM
We introduce a location?based game called Feeding Yoshi that provides an example of seamful design, in which key characteristics of its underlying technologies--the coverage and s...
HPCA
2007
IEEE
15 years 11 months ago
2007
IEEE
Memory bugs are a broad class of bugs that is becoming increasingly common with increasing software complexity, and many of these bugs are also security vulnerabilities. Unfortuna...
CHI
2002
ACM
15 years 11 months ago
2002
ACM
A validated model of trust was used as a framework for an empirical study to identify on- and offline factors that influence gamblers' perception of an online casino's t...
175
click to vote
POPL
2006
ACM
15 years 11 months ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...