CoVeriTeam Service: Verification as a Service.
Dirk BeyerSudeep KanavHenrik WachowitzPublished in: ICSE Companion (2023)
Keyphrases
- service providers
- web services
- processor sharing
- machine learning
- mobile services
- service oriented
- service platform
- semantic web services
- service composition
- computing environments
- end users
- decision trees
- steady state
- real time
- management system
- service quality
- service oriented architecture
- service discovery
- special case
- customer satisfaction
- network resources
- artificial intelligence
- data mining