Provably Correct Pervasive Computing Environments.
Anand RanganathanRoy H. CampbellPublished in: PerCom (2008)
Keyphrases
- provably correct
- pervasive computing environments
- computing environments
- service discovery
- pervasive computing
- formal methods
- situation calculus
- context awareness
- daily life
- cooperative
- automated negotiation
- bilateral negotiation
- electronic commerce
- lightweight
- databases
- intelligent systems
- case study
- artificial intelligence
- interval arithmetic
- machine learning