IEEE Services Visionary Track on Formal Methods in Services and Cloud Computing (FM-S&C 2015) Workshop Summary.
Guoray CaiYing LiYuyu YinHonghao GaoPublished in: SERVICES (2015)
Keyphrases
- cloud computing
- service providers
- computing resources
- formal methods
- cloud platform
- computing infrastructure
- private cloud
- identity management
- cloud services
- web services
- service level agreements
- distributed computing
- data center
- information services
- data management
- utility computing
- middleware architecture
- internet services
- big data
- service composition
- computing paradigm
- service oriented
- network access
- end users
- resource management
- knowledge based systems
- business models
- database
- cloud computing platform