OSARE: Opportunistic Speculation in Actively REplicated Transactional Systems | IEEE Conference Publication | IEEE Xplore