Now showing items 1-2 of 2
VSHDRP: Vehicle Second Heading Direction Routing Protocol in VANET
Routing protocols in VANET are considered as one of the critical dilemmas that need to be tackled, especially in sparse environment. Thus designing an efficient routing mech- anism has an impact on enhancing the network ...
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 ...