90 search results - page 5 / 18 » It's Not What You Have, But How You Use It: Compromises in M... |
CNSR
2007
IEEE
14 years 1 months ago
2007
IEEE
The theory of natural movement is fundamental to space syntax: a set of theories and methods developed in the late 1970s that seeks, at a general level, to reveal the mutual effec...
ACSAC
2004
IEEE
13 years 11 months ago
2004
IEEE
Many real-world applications use credentials such as passwords as means of user authentication. When accessed from untrusted public terminals, such applications are vulnerable to ...
SIGMOD
2012
ACM
11 years 10 months ago
2012
ACM
The rise of smartphones equipped with various sensors has enabled personalization of various applications based on user contexts extracted from sensor readings. At the same time i...
EJIS
2006
13 years 7 months ago
2006
In many types of activities, communicative and material activities are so intertwined that the one cannot be understood without taking the other into account. This is true of mari...
FM
2006
Springer
13 years 11 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...