|
[RB20]
Kaustabha Ray and Ansuman Banerjee.
Trace-driven Modeling and Verification of a Mobility-Aware Service Allocation and Migration Policy for Mobile Edge Computing.
In Proc. IEEE International Conference on Web Services (ICWS'20), pages 310-317.
2020.
[Uses PRISM to verify a mobility-aware service allocation policy for mobile edge computing.]
|
|
Links:
[Google]
[Google Scholar]
|