An adaptive probabilistic scheduler for offloading time-constrained tasks in local mobile clouds | IEEE Conference Publication | IEEE Xplore