Now showing items 1-1 of 1
Formal specification of an intelligent message notification service in infostation-based mLearning System using CCA
(Proceedings of CCIT'11, IEEE Press, 2011-10-27)
The Calculus of Context-aware Ambients (CCA in short) has been proposed as a notation that is suitable to model mobile applications that are context-aware. This paper considers a real-world case study of an infostation-based ...