Virtual Machines Scheduling in Mobile Edge Computing: A Formal Concept Analysis Approach | IEEE Journals & Magazine | IEEE Xplore