219 search results - page 28 / 44 » Types for Access Control in a Calculus of Mobile Resources |
ECSCW
2003
13 years 10 months ago
2003
: Local mobility is a central aspect of collaborative work that is in need of close analysis. Between the face-to-face interaction of offices or control rooms and longdistance inte...
ASIAN
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
HICSS
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...
VTC
2006
IEEE
14 years 2 months ago
2006
IEEE
— The European IST research projects WINNER and WINNER II aim at developing a single new ubiquitous radio access system concept that can be adapted for use in a wide variety of m...
IIR
2010
13 years 7 months ago
2010
In this paper we present a general purpose solution to Web content perusal by means of mobile devices, named Social Context-Aware Browser. This is a novel approach for the informa...