46 search results - page 10 / 10 » Guiding simulation with increasingly refined abstract traces |
TON
2012
11 years 7 months ago
2012
Abstract—Wireless sensor networks (WSNs) have been increasingly available for critical applications such as security surveillance and environmental monitoring. An important perfo...