Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem.
J. Paul GibsonDominique MéryPublished in: Ershov Memorial Conference (1999)
Keyphrases
- service oriented
- web services
- feature vectors
- service providers
- end users
- image features
- context aware
- human computer interaction
- ubiquitous computing
- service composition
- feature set
- smart spaces
- mobile services
- european project
- knowledge base
- cognitive process
- location aware
- formal methods
- formal specification
- web technologies
- agent technology
- service quality
- information services
- information resources
- feature subset