Verification-as-a-Service for Parameter Assessment.
Luca SpalazziFrancesco SpegniPublished in: HPCS (2019)
Keyphrases
- protocol specification
- service providers
- web services
- management system
- service discovery
- semantic web services
- parameter values
- service oriented
- parameter space
- service quality
- data sets
- heavy traffic
- information services
- end users
- input parameters
- face verification
- customer service
- signature verification
- formal verification
- verification method
- functional verification
- artificial intelligence