Now showing items 1-2 of 2
Routing management for DTN networks 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 mechanism has an impact on enhancing the ...
Formal specification of an intelligent message notification service in an infostation-based mLearning System using CCA.
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 infostatio ...