Sciweavers

3 search results - page 1 / 1
» Object Reminder and Safety Alarm
Sort
View
EUC
2005
Springer
13 years 10 months ago
Object Reminder and Safety Alarm
This paper introduces a novel approach to enhancing safety through RFID technology, location tracking, and monitoring person-object interaction. We design and develop RFID-based we...
Chi-yau Lin, Chia-nan Ke, Shao-you Cheng, Jane Yun...
GIS
2010
ACM
13 years 3 months ago
Efficient indexing structure for scalable processing of spatial alarms
Spatial Alarms are reminders for mobile users upon their arrival of certain spatial location of interest. Spatial alarm processing requires meeting two demanding objectives: high ...
Myungcheol Doo, Ling Liu, Nitya Narasimhan, Venu V...
ISSTA
2000
ACM
13 years 9 months ago
Verisim: Formal analysis of network simulations
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim...