Adaptive Service Placement for Multi-Access Edge Computing: A Formal Methods Approach.
Kaustabha RayPublished in: ICWS (2023)
Keyphrases
- formal methods
- formal analysis
- formal specification
- protocol specification
- model checker
- safety critical
- model checking
- software engineering
- knowledge based systems
- access control
- user requests
- edge detection
- web services
- process algebra
- provably correct
- modeling language
- artificial intelligence
- service providers
- data mining
- web service composition
- reactive systems
- physical location
- service discovery
- databases