Modelling Clock Synchronization in the Chess gMAC WSN Protocol
Mathijs SchutsFeng ZhuFaranak HeidarianFrits W. VaandragerPublished in: QFM (2009)
Keyphrases
- wireless sensor networks
- artificial intelligence
- residual energy
- high speed
- interprocess communication
- evaluation function
- communication protocol
- energy efficient
- lightweight
- mac protocol
- power consumption
- secure routing
- cryptographic protocols
- data aggregation
- formal analysis
- data transmission
- game tree search
- energy consumption
- medium access control
- computer chess
- game playing
- tcp ip
- wireless networks
- node selection
- database systems
- real time