IEEE 2014 Fourth International Workshop on Formal Methods in Services and Cloud Computing (FM-S&C 2014) Workshop Summary.
Guoray CaiYing LiYuyu YinHonghao GaoPublished in: SERVICES (2014)
Keyphrases
- cloud computing
- international workshop
- formal methods
- service providers
- acm sigkdd
- computing resources
- selected papers
- cloud platform
- private cloud
- computing infrastructure
- cloud services
- service level agreements
- data management
- data center
- cloud computing environment
- middleware architecture
- model checking
- computing paradigm
- software as a service
- formal specification
- artificial intelligence
- network access
- knowledge based systems
- web services
- modeling language
- human computation
- cloud storage
- service oriented
- service composition
- ubiquitous computing
- context aware
- end users
- data analysis
- computer science
- cloud computing platform