2413 search results - page 39 / 483 » Models for universal usability |
SOUPS
2006
ACM
14 years 4 months ago
2006
ACM
The usability of access control mechanisms in modern distributed systems has been widely criticized but little studied. In this paper, we carefully examine one such widely deploye...
BCSHCI
2007
13 years 11 months ago
2007
The present study explores potential usability gaps when users switch from a familiar to an unfamiliar mobile phone interface. A within-subject experiment was performed in which n...
CORR
2006
Springer
13 years 10 months ago
2006
Springer
The problem of joint universal source coding and modeling, addressed by Rissanen in the context of lossless codes, is generalized to fixed-rate lossy coding of continuousalphabet m...
JSYML
1998
13 years 9 months ago
1998
A definition of nonstandard universe which gets over the limitation to the finite levels of the cumulative hierarchy is proposed. Though necessarily nonwellfounded, nonstandard ...
MLQ
2007
13 years 9 months ago
2007
We define two notions for intuitionistic predicate logic: that of a submodel of a Kripke model, and that of a universal sentence. We then prove a corresponding preservation theor...