The 2016 IEEE Services Emerging Technology Track on Formal Methods in Services and Cloud Computing (FM-S&C 2016) Workshop Summary.
Guoray CaiYing LiYuyu YinHonghao GaoPublished in: SERVICES (2016)
Keyphrases
- cloud computing
- service providers
- computing paradigm
- computing infrastructure
- computing resources
- internet services
- formal methods
- cloud services
- cloud platform
- open standards
- data center
- web services
- private cloud
- data management
- software as a service
- service level agreements
- service oriented
- computing technologies
- distributed computing
- middleware architecture
- pervasive computing
- context aware
- end users
- utility computing
- future internet
- ubiquitous computing
- open source
- case study
- service composition
- mobile services
- cloud storage
- machine learning
- cloud infrastructure
- resource management