Situation-Aware Contract Specification Language for Middleware for Ubiquitous Computing.
Stephen S. YauYu WangDazhi HuangHoh Peter InPublished in: FTDCS (2003)
Keyphrases
- specification language
- situation aware
- ubiquitous computing
- context awareness
- user centric
- ubiquitous computing environments
- context aware
- situation awareness
- formal specification
- ambient intelligence
- smart spaces
- programming language
- description language
- smart objects
- homeland security
- context aware computing
- trust model
- computing environments
- everyday objects
- supply chain
- human activities
- rfid technology
- general purpose
- service discovery
- model checking
- distributed systems
- information systems
- reinforcement learning
- case study