Use of Logic to Describe Enhanced Communications Services.
Stephan Reiff-MarganiecKenneth J. TurnerPublished in: FORTE (2002)
Keyphrases
- service oriented
- mobile peer to peer
- web services
- service providers
- information services
- end users
- proof theory
- classical logic
- communication channels
- neural network
- message delivery
- information society
- automated reasoning
- web technologies
- communication systems
- computing environments
- communication networks
- service discovery
- data management
- mobile services
- government services
- service quality
- network services
- asynchronous circuits
- description logics
- context aware