Middleware for decentralised fault tolerant service execution using replication in pervasive systems | IEEE Conference Publication | IEEE Xplore