A Distributed Task Allocation Methodology for Edge Computing in a LEO Satellite IoT Context | IEEE Conference Publication | IEEE Xplore