A proxy-based uncoordinated checkpointing scheme with pessimistic message logging for mobile grid systems.