Offline Trace Checking of Quantitative Properties of Service-Based Applications.
Domenico BianculliCarlo GhezziSrdan KrsticPierluigi San PietroPublished in: SOCA (2014)
Keyphrases
- databases
- qualitative and quantitative
- service oriented
- web services
- desirable properties
- structural properties
- neural network
- service discovery
- service composition
- processor sharing
- database
- service selection
- heavy traffic
- arrival rate
- service oriented architecture
- context aware
- response time
- management system
- special case
- data structure
- multiscale
- image sequences
- decision trees
- information systems
- artificial intelligence
- learning algorithm