Show simple item record

dc.contributor.authorAl-Sammarraie, Mohammed
dc.contributor.authorSiewe, Francois
dc.contributor.authorZedan, Hussein
dc.date.accessioned2012-01-04T12:12:36Z
dc.date.available2012-01-04T12:12:36Z
dc.date.issued2011
dc.identifier.citationAl-Sammarraie, M., Siewe, F. and Zedan, H. (2011) Formal specification of an intelligent message notification service in an infostation-based mLearning System using CCA. International Conference and Workshop on Current Trends in Information Technology (CTIT), pp. 64-71en
dc.identifier.isbn9781467300988
dc.identifier.urihttp://hdl.handle.net/2086/5482
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.publisherIEEEen
dc.subjectContext-awarenessen
dc.subjectmLearningen
dc.subjectinfostationen
dc.subjectambienten
dc.subjectIMNen
dc.subjectCCAen
dc.titleFormal specification of an intelligent message notification service in an infostation-based mLearning System using CCA.en
dc.typeConferenceen
dc.identifier.doihttp://dx.doi.org/10.1109/CTIT.2011.6107936
dc.researchgroupSoftware Technology Research Laboratory (STRL)en
dc.peerreviewedYesen
dc.researchinstituteCyber Technology Institute (CTI)en


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record