143 search results - page 4 / 29 » A Formal Model of Access Control for Mobile Interactive Devi... |
180
click to vote
ENTCS
2008
15 years 6 months ago
2008
We do not interact with systems without first performing some physical action on a physical device. This paper shows how formal notations and formal models can be developed to acc...
136
click to vote
IFIP
2007
Springer
16 years 10 hour ago
2007
Springer
Abstract. This paper proposes a door access control system with mobile phones which allows off-line delegations of an access. A model of door access control with mobile phones is ...
171
click to vote
MHCI
2009
Springer
16 years 12 days ago
2009
Springer
A pressure sensing based single-handed interaction model is presented in this paper. Unlike traditional desktop GUI model, mobile UI model has not been established yet. For exampl...
170
click to vote
EGC
2005
Springer
15 years 11 months ago
2005
Springer
Currently, access to Grid services is limited to resourceful devices such as desktop PCs but most mobile devices (with wireless network connections) cannot access the Grid network ...
163
click to vote
ACSC
2006
IEEE
15 years 12 months ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...