Sciweavers

1894 search results - page 285 / 379
» Towards Mobile Reasoning
Sort
View
119
Voted
DSVIS
2008
Springer
15 years 5 months ago
Resources for Situated Actions
In recent years, advances in software tools have made it easier to analyze interactive system specifications, and the range of their possible behaviors. However, the effort involve...
Gavin J. Doherty, José Creissac Campos, Mic...
148
Voted
DBSEC
2008
188views Database» more  DBSEC 2008»
15 years 4 months ago
On the Formal Analysis of a Spatio-temporal Role-Based Access Control Model
With the growing use of wireless networks and mobile devices, we are moving towards an era where spatial and temporal information will be necessary for access control. The use of s...
Manachai Toahchoodee, Indrakshi Ray
126
Voted
FLAIRS
2006
15 years 4 months ago
Use of Dempster-Shafer Conflict Metric to Adapt Sensor Allocation to Unknown Environments
This paper considers a robot with multiple sensors navigating an unknown, heterogeneous environment. In these cases sensor errors may produce an unsuitable model of the world. For...
Jennifer Carlson, Robin R. Murphy
SCANGIS
2001
15 years 4 months ago
Location-based services: A database perspective
We are heading rapidly towards a global computing and information infrastructure that will contain billions of wirelessly connected devices, many of which will offer so-called loca...
Christian S. Jensen, Anders Friis-Christensen, Tor...
EUROPAR
2010
Springer
15 years 4 months ago
Ants in Parking Lots
Ants provide an attractive metaphor for robots that "cooperate" in performing complex tasks. What, however, are the algorithmic consequences of following this metaphor? ...
Arnold L. Rosenberg