About | Contact Us | Register | Login
ProceedingsSeriesJournalsSearchEAI
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(Requires a free EAI acccount)
530 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 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.

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
Copyright © 2013–2025 ICST
EBSCOProQuestDBLPDOAJPortico
EAI Logo

About EAI

  • Who We Are
  • Leadership
  • Research Areas
  • Partners
  • Media Center

Community

  • Membership
  • Conference
  • Recognition
  • Sponsor Us

Publish with EAI

  • Publishing
  • Journals
  • Proceedings
  • Books
  • EUDL