A Message Service for Opportunistic Computing in Disconnected MANETs