Middleware support for delay-tolerant service provision in disconnected mobile ad hoc networks