1622 search results - page 205 / 325 » Autonomous Mobile Programs |
BCSHCI
2008
13 years 10 months ago
2008
Messaging with new media should be fun, but sometimes participating in conversations can become a burden for users due to the effort required. In this paper, examples of such situ...
JCS
2010
13 years 7 months ago
2010
A model of resource access control is presented in which the access control to resources can employ user interaction to obtain the necessary permissions. This model is inspired by...
INFOCOM
2010
IEEE
13 years 7 months ago
2010
IEEE
In this paper we consider how to efficiently identify tags on the moving conveyor. Considering conditions like the path loss and multi-path effect in realistic settings, we first p...
PERCOM
2005
ACM
14 years 8 months ago
2005
ACM
Mobile devices like PDAs or mobile phones have become widespread. Similarly, network functionality like GSM, Bluetooth, or WLAN has become standard. Nevertheless, not many applica...
SSS
2007
Springer
14 years 3 months ago
2007
Springer
We present formal definitions of stabilization for the Timed I/O Automata (TIOA) framework, and of emulation for the timed Virtual Stationary Automata programming abstraction laye...