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

    Search

    Show Advanced FiltersHide Advanced Filters

    Filters

    Use filters to refine the search results.

    Now showing items 1-2 of 2

    • Sort Options:
    • Relevance
    • Title Asc
    • Title Desc
    • Issue Date Asc
    • Issue Date Desc
    • Results Per Page:
    • 5
    • 10
    • 20
    • 40
    • 60
    • 80
    • 100
    Thumbnail

    The Calculus of context-aware ambients. 

    Siewe, Francois; Zedan, Hussein; Cau, A. (Antonio) (Elsevier, 2010-02-25)
    We present the Calculus of Context-aware Ambients (CCA in short) 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 ...
    Thumbnail

    CCA: a calculus of context-aware ambients. 

    Siewe, Francois; Cau, A. (Antonio); Zedan, Hussein (IEEE, 2009)
    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 ...
    Feed iconrss
    Bookmark icon Bookmark Search

    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

    Discover

    Author
    Cau, A. (Antonio) (2)
    Siewe, Francois (2)
    Zedan, Hussein (2)
    Subject
    context-awareness (2)
    process calculus (2)
    ambient (1)mobile ambient (1)mobility (1)pervasive (1)pervasive computing (1)ubiquitous computing systems (1)... View MoreDate Issued2009 (1)2010 (1)Has File(s)No (1)Yes (1)

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