A low overhead checkpointing protocol for mobile computing systems | IEEE Conference Publication | IEEE Xplore