Heuristic-Guided Verification for Fast Congestion Detection on Wireless Sensor Networks.
Khanh LeToan NguyenThanh CaoThang H. BuiTho QuanPublished in: FDSE (2016)
Keyphrases
- wireless sensor networks
- sensor networks
- object detection
- detection method
- simulated annealing
- false positives
- automatic detection
- detection rate
- search algorithm
- detection accuracy
- false alarms
- detection algorithm
- sensor nodes
- model checking
- event detection
- anomaly detection
- end to end
- optimal solution
- energy consumption
- solution quality
- wireless communication
- dynamic programming
- energy efficient
- environmental monitoring