Context-Aware Systems and Applications. Second International Conference, ICCASA 2013, Phu Quoc Island, Vietnam, November 25-26, 2013, Revised Selected Papers

Research Article

Coinductively Combinational Context-Awareness

Download
402 downloads
  • @INPROCEEDINGS{10.1007/978-3-319-05939-6_24,
        author={Phan Vinh and Nguyen Quoc},
        title={Coinductively Combinational Context-Awareness},
        proceedings={Context-Aware Systems and Applications. Second International Conference, ICCASA 2013, Phu Quoc Island, Vietnam, November 25-26, 2013, Revised Selected Papers},
        proceedings_a={ICCASA},
        year={2014},
        month={6},
        keywords={Automata Coinduction Context-awareness Context-aware systems Stream calculus},
        doi={10.1007/978-3-319-05939-6_24}
    }
    
  • Phan Vinh
    Nguyen Quoc
    Year: 2014
    Coinductively Combinational Context-Awareness
    ICCASA
    Springer
    DOI: 10.1007/978-3-319-05939-6_24
Phan Vinh1,*, Nguyen Quoc1,*
  • 1: Nguyen Tat Thanh University (NTTU)
*Contact email: pcvinh@ntt.edu.vn, nkquoc@ntt.edu.vn

Abstract

This paper presents the notion of coinductively combinational context-awareness from practical perspective of P2P networks. Through the combinational features of context-awareness, we use the stream calculus and coinduction to discover the solution for arrangements of actions of context-aware systems in a uniform way.