Network Data Collection Formal Analysis Based on Communication Sequential Process.
Tie BaoShufen LiuFeng YanYaorui WuXiaochun LiZhanguo ZhangShuying ZhangPublished in: CSCWD (2007)
Keyphrases
- formal analysis
- data collection
- communication networks
- communication overhead
- ban logic
- information systems
- communication patterns
- network traffic
- wireless sensor networks
- communication channels
- resource constrained
- communication links
- concurrent processes
- computer networks
- complex networks
- communication cost
- design process
- peer to peer
- object oriented