Temporal verification of mobile publish/subscribe machine-to-machine communications.

Ghada Gharbi Nawal Guermouche Thierry Monteil

Published in: WoWMoM (2014)

Keyphrases

publish subscribe
mobile applications
database
mobile devices
real time
context aware
back end
event driven
publish subscribe systems