Gamelets — Multiplayer mobile games with distributed micro-clouds | IEEE Conference Publication | IEEE Xplore