Sciweavers

1343 search results - page 83 / 269
» Coverage by directional sensors
Sort
View
FIDJI
2004
Springer
14 years 2 months ago
A JMM-Faithful Non-interference Calculus for Java
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...
Vladimir Klebanov
NETWORK
2007
167views more  NETWORK 2007»
13 years 8 months ago
Sensor Localization under Limited Measurement Capabilities
If we abstract a sensor network as a network graph consisting of vertices and edges, where vertices represent sensor nodes and edges represent distance measurements between neighbo...
Chen Wang, Li Xiao
VLDB
2008
ACM
114views Database» more  VLDB 2008»
14 years 9 months ago
An adaptive RFID middleware for supporting metaphysical data independence
Abstract Sensor devices produce data that are unreliable, low-level, and seldom able to be used directly by applications. In this paper, we propose Metaphysical Data Independence (...
Shawn R. Jeffery, Michael J. Franklin, Minos N. Ga...
MSN
2005
Springer
114views Sensor Networks» more  MSN 2005»
14 years 2 months ago
A Directional Antenna Based Path Optimization Scheme for Wireless Ad Hoc Networks
Using directional antennas in wireless ad hoc networks is an attractive issue due to its potential advantages such as spatial reuse, low power consumption and low chance of interfe...
Sung-Ho Kim, Young-Bae Ko
BIOID
2008
190views Biometrics» more  BIOID 2008»
13 years 11 months ago
Direct Attacks Using Fake Images in Iris Verification
Abstract. In this contribution, the vulnerabilities of iris-based recognition systems to direct attacks are studied. A database of fake iris images has been created from real iris ...
Virginia Ruiz-Albacete, Pedro Tome-Gonzalez, Ferna...