Towards the Verification of Services Collaboration.
Yue XieDehui DuJing LiuZuohua DingPublished in: COMPSAC (2) (2009)
Keyphrases
- geographically dispersed
- voice and data services
- exchange information
- web services
- service oriented
- collaborative learning
- service providers
- service discovery
- service composition
- virtual enterprise
- information sharing
- information services
- grid infrastructure
- end users
- information resources
- mobile applications
- model checking
- context aware
- formal verification
- information technology
- computing environments
- knowledge management
- collaborative environment
- resource sharing
- mobile services
- user groups
- web technologies
- grid computing
- service oriented architecture