Configurable highly available distributed services | IEEE Conference Publication | IEEE Xplore