Heuristic strategies for assessing wireless sensor network resiliency: an event-based formal approach.
Alessandro TestaMarcello CinqueAntonio CoronatoGiuseppe De PietroJuan Carlos AugustoPublished in: J. Heuristics (2015)
Keyphrases
- wireless sensor networks
- search strategies
- selection strategies
- event driven
- optimal solution
- publish subscribe
- search algorithm
- sensor networks
- simulated annealing
- dynamic programming
- formal specification
- search procedures
- energy consumption
- formal model
- energy efficient
- data gathering
- exploration strategy
- data sets
- key management
- formal methods
- base station
- tabu search
- shortest path
- multi agent
- neural network