602 search results - page 71 / 121 » An access control model for mobile physical objects |
117
click to vote
WOSP
2004
ACM
15 years 7 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
139
click to vote
ISER
1999
Springer
15 years 6 months ago
1999
Springer
: We are developing a robotic measurement facility which makes it very easy to build “reality-based” models, i.e., computational models of existing, physical objects based on a...
200
click to vote
GIS
2003
ACM
16 years 2 months ago
2003
ACM
With wireless communications and geo-positioning being widely available, it becomes possible to offer new e-services that provide mobile users with information about other mobile ...
121
click to vote
POPL
1999
ACM
15 years 6 months ago
1999
ACM
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
113
click to vote
ICRA
2008
IEEE
15 years 8 months ago
2008
IEEE
— We present results of successful telemanipulation of large, heavy objects by a humanoid robot. Using a single joystick the operator controls walking and whole body manipulation...