Sciweavers

1610 search results - page 110 / 322
» A Transaction Model for Mobile Computing
Sort
View
MIDDLEWARE
2005
Springer
14 years 2 months ago
Adaptive query processing in mobile environment
These last years, the evolution of nomadic terminals and mobile networks has yield to the development of the ubiquitous computing. In this context, actual query evaluation and opt...
Hocine Grine, Thierry Delot, Sylvain Lecomte
ICPR
2000
IEEE
14 years 10 months ago
Using Model-Based Localization with Active Navigation
Vision is an important sensor used for mobile robot navigation. One approach to localization which is based on vision is to compute camera egomotion with respect to base images. W...
Amit Adam, Ehud Rivlin, Ilan Shimshoni
ICDCS
2010
IEEE
14 years 1 months ago
Fingerprinting Mobile User Positions in Sensor Networks
- We demonstrate that the network flux over the sensor network provides us fingerprint information about the mobile users within the field. Such information is exoteric in the phys...
Mo Li, Xiaoye Jiang, Leonidas J. Guibas
ICDCSW
2000
IEEE
14 years 24 days ago
Compositional Verification of a Third Generation Mobile Communication Protocol
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
Sari Leppänen, Matti Luukkainen
ICDCS
2008
IEEE
14 years 3 months ago
Strong WORM
We introduce a Write-Once Read-Many (WORM) storage system providing strong assurances of data retention and compliant migration, by leveraging trusted secure hardware in close dat...
Radu Sion