A feedback-driven timing synchronisation protocol for cellular sensornets.

Jonathan Tate Iain Bate

Published in: MASS (2010)

Keyphrases

lightweight
cellular automata
cryptographic protocols
data driven
user feedback
case study
active learning
data sets
relevance feedback
distributed systems
formal analysis
coloured petri nets
file transfer
tcp ip
authentication protocol
security protocols
petri net