61 search results - page 13 / 13 » Model Checking Real Time Java Using Java PathFinder |
238
Voted
SENSYS
2006
ACM
15 years 9 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...