FT-PPTC: An Efficient and Fault-Tolerant Commit Protocol for Mobile Environments | IEEE Conference Publication | IEEE Xplore