Design of Session State Migration Middleware for Disruption-Free Services | IEEE Conference Publication | IEEE Xplore