Coinductively Combinational Context-Awareness

Phan Vinh; Nguyen Quoc

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

390 downloads

Cite: BibTeX Plain Text

@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 Vinh¹^,*, Nguyen Quoc¹^,*

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.

Keywords: Automata Coinduction Context-awareness Context-aware systems Stream calculus

Published: 2014-06-19

: http://dx.doi.org/10.1007/978-3-319-05939-6_24