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...
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...
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...
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, ...
— 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...