Sciweavers

2542 search results - page 166 / 509
» One step ahead
Sort
View
ICC
2007
IEEE
104views Communications» more  ICC 2007»
14 years 4 months ago
Secure Tracking in Sensor Networks
Abstract— Target tracking is a canonical issue in sensor networks research. However, tracking security has gained little or no attention. Once a sensor node is compromised, it wi...
Chih-Chieh Geoff Chang, Wesley E. Snyder, Cliff Wa...
IEEEARES
2007
IEEE
14 years 4 months ago
Security Requirements for a Semantic Service-oriented Architecture
Service-oriented architectures (SOAs) are a commonly used paradigm for IT infrastructures in various fields. Due to their flexibility and the easy accessibility of their underly...
Stefan Durbeck, Rolf Schillinger, Jan Kolter
ISBI
2007
IEEE
14 years 4 months ago
A Hybrid Filtering Approach to Retinal Vessel Segmentation
We propose a novel vessel enhancement filter for retinal images. The filter can be used as a preprocessing step in applications such as vessel segmentation/visualization, and pa...
Chang-Hua Wu, Gady Agam, Peter Stanchev
KBSE
2007
IEEE
14 years 4 months ago
Model checking concurrent linux device drivers
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...
Thomas Witkowski, Nicolas Blanc, Daniel Kroening, ...
ROMAN
2007
IEEE
107views Robotics» more  ROMAN 2007»
14 years 4 months ago
Using Haptic Communications with the Leg to Maintain Exercise Intensity
— The haptic sense provides continuous information during physical human-machine interaction. Humans can respond very quickly and effectively to such feedback, such as a driver m...
Aaron R. Ferber, Michael A. Peshkin, J. Edward Col...