Formal Certification and Compliance for Run-Time Service Environments.
Howard FosterGeorge SpanoudakisKhaled MahbubPublished in: IEEE SCC (2012)
Keyphrases
- service oriented
- ubiquitous computing environments
- service providers
- real world
- web services
- service quality
- third party
- service discovery
- computing environments
- dynamic environments
- management system
- data model
- formal model
- information services
- artificial intelligence
- mobile services
- highly dynamic
- real time
- robotic systems
- multi agent systems
- neural network