Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Coinductively Combinational Context-Awareness

  • Conference paper
  • First Online:
Context-Aware Systems and Applications (ICCASA 2013)

Included in the following conference series:

  • 660 Accesses

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.

The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-3-319-05939-6_37

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Brualdi, R.A.: Introductory Combinatorics, 4th edn. Prentice Hall, Upper Saddle River (2004). 6 April 2004

    MATH  Google Scholar 

  2. Cameron, P.J.: Combinatorics: Topics, Techniques, Algorithms. Cambridge University Press, New York (2001)

    MATH  Google Scholar 

  3. Rutten, J.J.M.M.: Elements of stream calculus (an extensive exercise in coinduction). In: Brooks, S., Mislove, M. (eds.) Proceedings of the MFPS 2001: 7th Conference on the Mathematical Foundations of Programming Semantics. Electronic Notes in Theoretical Computer Science, vol. 45, pp. 1–66. Elsevier Science Publishers, Amsterdam (2001)

    Google Scholar 

  4. Rutten, J.J.M.M.: An application of stream calculus to signal flow graphs. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2003. LNCS, vol. 3188, pp. 276–291. Springer, Heidelberg (2004)

    Google Scholar 

  5. Rutten, J.J.M.M.: Coinductive counting with weighted automata. J. Autom. Lang. Comb. 8(2), 319–352 (2003)

    MathSciNet  MATH  Google Scholar 

  6. Vinh, P.C.: Formal aspects of self-* in autonomic networked computing systems. In: Zhang, Y., Yang, L.T., Denko, M.K. (eds.) Autonomic Computing and Networking, pp. 381–410. Springer, New York (2009)

    Chapter  Google Scholar 

  7. Vinh, P.C.: Dynamic Reconfigurability in Reconfigurable Computing Systems: Formal Aspects of Computing, 1st edn., 236 pp. VDM Verlag, Saarbrucken (2009)

    Google Scholar 

  8. Vinh, P.C.: Formal specification and verification of self-configuring P2P networking: a case study in mobile environments. Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification, 1st edn, pp. 170–188. IGI Global, Hershey (2011)

    Google Scholar 

  9. Phan, C.-V.: Data intensive distributed computing in data aware self-organizing networks. In: Gavrilova, M.L., Tan, C.J.K., Phan, C.-V. (eds.) Transactions on Computational Science XV. LNCS, vol. 7050, pp. 74–107. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  10. Behan, M., Krejcar, O.: Concept of the personal devices content management using modular architecture and evaluation based design. In: Vinh, P.C., Hung, N.M., Tung, N.T., Suzuki, J. (eds.) ICCASA 2012. LNICST, vol. 109, pp. 151–159. Springer, Heidelberg (2013)

    Google Scholar 

  11. Vinh, P.C., Tung, N.T.: Coalgebraic aspects of context-awareness. Mob. Netw. Appl., August 2012. doi:10.1007/s11036-012-0404-0

    Article  Google Scholar 

  12. Vinh, P.C., Tung, N.T., Van Phuc, N., Thanh, N.H.: Functional stream derivatives of context-awareness on P2P networks. In: Vinh, P.C., Hung, N.M., Tung, N.T., Suzuki, J. (eds.) ICCASA 2012. LNICST, vol. 109, pp. 160–167. Springer, Heidelberg (2013)

    Google Scholar 

Download references

Acknowledgements

Thank you to NTTU (Nguyen Tat Thanh University, Vietnam) for the constant support of our work which culminated in the publication of this paper. As always, we are deeply indebted to the anonymous reviewers for their helpful comments and valuable suggestions which have contributed to the final preparation of the paper.

Author information

Authors and Affiliations

  1. Faculty of IT, Nguyen Tat Thanh University (NTTU), 300A Nguyen Tat Thanh St., Ward 13, District 4, HCM City, Vietnam

    Phan Cong Vinh & Nguyen Kim Quoc

Authors
  1. Phan Cong Vinh
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nguyen Kim Quoc
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Phan Cong Vinh .

Editor information

Editors and Affiliations

  1. Faculty of Information Technology, Nguyen Tat Thanh University, Vietnam, Ho Chi Minh City, Vietnam

    Phan Cong Vinh

  2. Concordia University, Montreal, Canada

    Vangalur Alagar

  3. University of Limerick, Limerick, Ireland

    Emil Vassev

  4. University of Allahabad, Allahabad, India

    Ashish Khare

Rights and permissions

Reprints and permissions

Copyright information

© 2014 ICST Institute for Computer Science, Social Informatics and Telecommunications Engineering

About this paper

Cite this paper

Vinh, P.C., Quoc, N.K. (2014). Coinductively Combinational Context-Awareness. In: Vinh, P., Alagar, V., Vassev, E., Khare, A. (eds) Context-Aware Systems and Applications. ICCASA 2013. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 128. Springer, Cham. https://doi.org/10.1007/978-3-319-05939-6_24

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-05939-6_24

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-05938-9

  • Online ISBN: 978-3-319-05939-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation