• Login
    View Item 
    •   DORA Home
    • Faculty of Computing, Engineering and Media
    • School of Computer Science and Informatics
    • View Item
    •   DORA Home
    • Faculty of Computing, Engineering and Media
    • School of Computer Science and Informatics
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    CCA: a calculus of context-aware ambients.

    Thumbnail
    View/Open
    dmwpc09b.pdf (210.4Kb)
    Date
    2009
    Author
    Siewe, Francois;
    Cau, A. (Antonio);
    Zedan, Hussein
    Metadata
    Show attachments and full item record
    Abstract
    We present a process calculus, CCA, for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambients and introduces new constructs to enable ambients and processes to be aware of the environment in which they are being executed. This results in a powerful calculus where mobility and context-awareness are first-class citizens. We present the syntax and a formal semantics of the calculus. We show that CCA can encode the -calculus, and illustrate the pragmatics of the calculus through a case study of a context-aware hospital bed.
    Description
    Citation : Siewe, F., Cau, A. and Zedan, H. (2009) CCA: a calculus of context-aware ambients. 23rd International Conference on Advanced Information Networking and Applications Workshops, University of Bradford, Bradford, UK, May 26-29. pp.972-977.
    URI
    http://hdl.handle.net/2086/3540
    DOI
    http://dx.doi.org/10.1109/WAINA.2009.23
    ISBN : 9780769536392
    ISSN : 1550-445X
    Research Group : Software Technology Research Laboratory (STRL)
    Research Institute : Cyber Technology Institute (CTI)
    Peer Reviewed : Yes
    Collections
    • School of Computer Science and Informatics [3008]

    Submission Guide | Reporting Guide | Reporting Tool | DMU Open Access Libguide | Take Down Policy | Connect with DORA
    DMU LIbrary
     

     

    Browse

    All of DORACommunities & CollectionsAuthorsTitlesSubjects/KeywordsResearch InstituteBy Publication DateBy Submission DateThis CollectionAuthorsTitlesSubjects/KeywordsResearch InstituteBy Publication DateBy Submission Date

    My Account

    Login

    Submission Guide | Reporting Guide | Reporting Tool | DMU Open Access Libguide | Take Down Policy | Connect with DORA
    DMU LIbrary