Show simple item record

dc.contributor.authorAl-Sammarraie, Mohammeden
dc.contributor.authorSiewe, Francoisen
dc.contributor.authorZedan, Husseinen
dc.date.accessioned2012-03-14T10:54:34Z
dc.date.available2012-03-14T10:54:34Z
dc.date.issued2011-10-27
dc.identifier.citationAl-Sammarraie, M., Siewe, F. and Zedan, H. (2011). Formal Specification of an Intelligent Message Notification Service in Infostation-based mLearning System using CCA. In Proceedings of CCIT'11, Dubai, UAE.en
dc.identifier.isbn9781467300971
dc.identifier.urihttp://hdl.handle.net/2086/5722
dc.description.abstractThe 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 mLearning system in which mobile devices such as hand-set phones, PDA's and laptops can access a number of services and communicate to each other within a university campus. Such a dynamic system must enforce complex policies to cope with mobility and context-awareness. We show how policies can be formalised using CCA, and validated using the execution environment of CCA. We illustrate how properties can be validated using our approach.en
dc.language.isoenen
dc.publisherProceedings of CCIT'11, IEEE Pressen
dc.subjectIMNen
dc.subjectContext-awarenessen
dc.subjectCCAen
dc.subjectambienten
dc.subjectinfostationen
dc.subjectmLearningen
dc.titleFormal specification of an intelligent message notification service in infostation-based mLearning System using CCAen
dc.typeConferenceen
dc.researchgroupSoftware Technology Research Laboratory (STRL)en
dc.peerreviewedYesen
dc.researchinstituteCyber Technology Institute (CTI)en


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record