2PACA: Two phases algorithm of checkpointing for Ad hoc mobile networks | IEEE Conference Publication | IEEE Xplore