Specifying High-Assurance Services.
Colin AtkinsonDaniel BrennerGiovanni FalconeMonika JuhaszPublished in: Computer (2008)
Keyphrases
- high assurance
- web services
- operating system
- software systems
- service composition
- information services
- fault tolerant
- service providers
- service oriented
- european project
- service delivery
- information resources
- access control
- building blocks
- end users
- mobile services
- information society
- network services
- context aware
- database
- multi agent
- service discovery
- location information
- highly dynamic
- information systems
- service management
- machine learning
- neural network