61 search results - page 13 / 13 » Model Checking Real Time Java Using Java PathFinder |
SENSYS
2006
ACM
13 years 10 months ago
2006
ACM
From experience with wireless sensor networks it has become apparent that dynamic reprogramming of the sensor nodes is a useful feature. The resource constraints in terms of energ...