Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude.
Peter Csaba ÖlveczkyStian ThorvaldsenPublished in: IPDPS (2006)
Keyphrases
- real time
- data structure
- wireless sensor networks
- data analysis
- image analysis
- theoretical analysis
- social networks
- low cost
- benchmark datasets
- times faster
- statistical analysis
- mathematical foundations
- formal analysis
- complexity analysis
- formal model
- data acquisition
- computational efficiency
- orders of magnitude
- learning algorithm
- machine learning
- data mining