1792 search results - page 28 / 359 » What Are We Arguing About |
FLAIRS
2000
13 years 9 months ago
2000
This paper presents a formal security policy model for SmartCards with digital signature application. This kind of model is necessary for each evaluation according to Information ...
CHI
2007
ACM
14 years 8 months ago
2007
ACM
In this work, we use qualitative field studies to examine the role of physical artifacts in conjunction with and comparison to digital communication. We investigate what people co...
OZCHI
2006
ACM
14 years 1 months ago
2006
ACM
This paper reports on the evaluation of a digitallyaugmented exhibition on the history of modern media. We discuss visitors’ interaction with installations and corresponding int...
ENTCS
2011
13 years 2 months ago
2011
We preliminarily recap what is meant by complexity and non-Turing computation, by way of explanation of our title, ‘Computational Complexity in Non-Turing Models of Computationâ...
DSVIS
2006
Springer
13 years 11 months ago
2006
Springer
This keynote paper argues for an increased understanding of the various roles involved in the development work to be able to achieve the goal of developing increased usability. Hum...