Now showing items 1-6 of 6
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 ...
A Privacy Type System for Context-aware Mobile Ambients
Thanks to the advances in technologies, ubiquitous computing (ubicomp) is developing fast with the proliferation of smart devices such as smart phones and tablet computers. However, privacy is an important concern in ...
From Use Case Diagrams to Executable Context-aware Ambients
(The 10th International Conference for Internet Technology and Secured Transactions (ICITST-2015), 2015-12-14)
This paper proposes an approach to translating a use case diagram into an executable context-aware ambients. The requirements of a context-aware system is captured and represented in an extension of UML use case diagrams ...
Formal Specification of a Context-aware Whiteboard System in CCA
A context-aware whiteboard system provides a number of services in a smart classroom including registering students as they enter the classroom; logging students and lecturers in to the blackboard virtual learning environment ...
Formal Specification of CA-UCON model using CCA
(Science and Information Conference, 2013)
A Context-Aware Usage CONtrol (CAUCON) model is an extension of the traditional UCON model which enables adaptation to environmental changes in the aim of preserving continuity of usage in a pervasive computing system. ...
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 ...