Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Mobile Networks and Applications
Published in: Mobile Networks and Applications 3/2013

01-06-2013

Coalgebraic Aspects of Context-Awareness

Authors: Phan Cong Vinh, Nguyen Thanh Tung

Published in: Mobile Networks and Applications | Issue 3/2013

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

This paper will be both to give an in-depth analysis as well as to present the new material on the notion of context-aware computing, an idea that computing can both sense and react accordantly based on its environment. The paper formalizes context-awareness process using coalgebraic language, including the coalgebraic definition of context-awareness, bisimulation between context-awarenesses, homomorphism between context-awarenesses and context-awarenesses as coalgebras. Discussions for further development based on this approach are also given.
previous article Special Issue on Context-Awareness of Mobile Systems: Models, Algorithms and Applications
next article Injecting Self-Organisation into Pervasive Service Ecosystems

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
Show more products
Footnotes
1
The NTTU foundation for Science and Technology Development.
 
Literature
1.
Barbosa LS (2000) Components as processes: an exercise in coalgebraic modeling. In: Smith SF, Talcott CL (eds) 4th international conference on formal methods for open object-based distributed systems, IFIP TC6/WG6.1, 6–8 September 2000. Kluwer Academic Publishers, Stanford, CA, USA, pp 397–417
2.
Barbosa LS, Liu Z (eds) (2005) Proceedings of the 2nd international workshop on formal aspects of component software (FACS), Macao, 24–25 October 2005. UNU/IIST. ENTCS
3.
Cockett R, Spencer D (1991) Strong categorical datatypes I. In: Seely RAG (ed) International summer meeting on category theory, AMS Canadian Mathematical Society, 23–30 June 1991. AMS, Montréal, Québec, Canada, pp 141–169
4.
Hagino T (1987) A typed lambda calculus with categorical type constructors. In: Pitt DH, Poigné A, Rydeheard DE (eds) Category theory and computer science, September 1987. Lecture notes in computer science, vol 283. Springer–Verlag, Edinburgh, UK, pp 140–157CrossRef
5.
Jacobs B, Rutten J (1997) A tutorial on (Co)Algebras and (Co)Induction. Bulletin of EATCS 62:222–259MATH
6.
Kiczales G, Lamping J, Menhdhekar A, Maeda C, Lopes C, Loingtier JM, Irwin J (1997) Aspect-oriented programming. In: Akşit M, Matsuoka S (eds) 11th European conference on object-oriented programming (ECOOP), 10 June 1997. Lecture notes in computer science, vol 1241. The paper originating AOP, Springer–Verlag, Jyväskylä, Finland, pp 220–242
7.
Kieburtz RB (1998) Reactive functional programming. In: Gries D, Roever WPde (eds) Programming concepts and methods (PROCOMET), IFIP international federation for information processing, 8–12 June 1998. Chapman and Hall, Shelter Island, NY, USA, pp 263–284
8.
Levine M (1998) Categorical algebra. In: Benkart G, Ratiu TS, Masur HA, Renardy M (eds) Mixed motives, mathematical surveys and monographs, vol 57, chapter I, II, II of part II, American Mathematical Society, USA, pp 373–499
9.
Meijer E, Fokkinga M, Paterson R (1991) Functional programming with bananas, lenses, envelopes and barbed wire. In: Hughes J (ed) ACM conference on functional programming languages and computer architecture, 26–30 August 1991. Lecture notes in computer science, vol 523. Springer–Verlag, Cambridge, MA, USA, pp 124–144CrossRef
10.
Rotman JJ (2002) Advanced modern algebra, 1st edn. Prentice Hall, USAMATH
11.
Rutten JJMM (1998) Automata and coinduction (an exercise in coalgebra). In: 9th international conference on concurrency theory (CONCUR), 8–11 September 1998. Lecture notes in computer science, vol 1466. Springer–Verlag, Nice, France, pp 194–218
12.
13.
Rutten JJMM (2001) Elements of stream calculus (an extensive exercise in coinduction). In: Proceedings of the 17th annual conference on mathematical foundations of programming semantics (MFPS ’01), Aarhus, Denmark, ENTCS, vol 45. Elsevier Science B.V., 66 p
14.
Rutten JJMM (2005) Algebra, bitstreams, and circuits. Technical Report SEN-R0502, CWI, Amsterdam, The Netherlands
15.
van Oosten J (2002) Basic category theory. Department of Mathematics, Utrecht University, The Netherlands
16.
Vinh PC (2009) Autonomic computing and networking, chapter formal aspects of self-* in autonomic networked computing systems. Springer, pp 381–410
17.
Vinh PC (2009) Dynamic reconfigurability in reconfigurable computing systems: formal aspects of computing, 1st edn. VDM Verlag, 236 p
18.
Vinh PC (2011) Formal and practical aspects of autonomic computing and networking: specification, development, and verification, chapter formal specification and verification of self-configuring p2p networking: a case study in mobile environments, 1st edn. IGI Global, pp 170–188
19.
Vinh PC (2012) Data intensive distributed computing in data aware self-organizing networks. In: Transactions on computational science XV: special issue on advances in autonomic computing: formal engineering methods for nature-inspired computing systems. Springer, Berlin, pp 74–107
Metadata
Title
Coalgebraic Aspects of Context-Awareness
Authors
Phan Cong Vinh
Nguyen Thanh Tung
Publication date
01-06-2013
Publisher
Springer US
Published in
Mobile Networks and Applications / Issue 3/2013
Print ISSN: 1383-469X
Electronic ISSN: 1572-8153
DOI
https://doi.org/10.1007/s11036-012-0404-0

Other articles of this Issue 3/2013

Mobile Networks and Applications 3/2013 Go to the issue

EditorialNotes

Editorial for MobiQuitous 2011 Special Issue

OriginalPaper

A Detailed View on the Spatio-Temporal Information Content and the Arithmetic Coding of Discrete Trajectories

OriginalPaper

A Context-Aware Multi-Agent System as a Middleware for Ambient Intelligence

OriginalPaper

The Energy-Aware Operational Time of Wireless Ad-Hoc Sensor Networks

EditorialNotes

Special Issue on Context-Awareness of Mobile Systems: Models, Algorithms and Applications

OriginalPaper

Situation Awareness in Applications of Ambient Assisted Living for Cognitive Impaired People