Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
MTZ-Fachkongress

Antriebe und Energiesysteme von morgen


Austausch von Automobil- und Energiewirtschaft

Am 14./15. Mai geht es in Chemnitz um die Mobilitätswende durch Elektro- und Wasserstofffahrzeuge.
Erweiterte Suche
Anmelden
nach oben
Mobile Networks and Applications
Erschienen in: Mobile Networks and Applications 3/2013

01.06.2013

Coalgebraic Aspects of Context-Awareness

verfasst von: Phan Cong Vinh, Nguyen Thanh Tung

Erschienen in: Mobile Networks and Applications | Ausgabe 3/2013

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

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.
Vorheriger Artikel Special Issue on Context-Awareness of Mobile Systems: Models, Algorithms and Applications
Nächster Artikel Injecting Self-Organisation into Pervasive Service Ecosystems

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren
Weitere Produktempfehlungen anzeigen
Fußnoten
1
The NTTU foundation for Science and Technology Development.
 
Literatur
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
Metadaten
Titel
Coalgebraic Aspects of Context-Awareness
verfasst von
Phan Cong Vinh
Nguyen Thanh Tung
Publikationsdatum
01.06.2013
Verlag
Springer US
Erschienen in
Mobile Networks and Applications / Ausgabe 3/2013
Print ISSN: 1383-469X
Elektronische ISSN: 1572-8153
DOI
https://doi.org/10.1007/s11036-012-0404-0

Weitere Artikel der Ausgabe 3/2013

Mobile Networks and Applications 3/2013 Zur Ausgabe

OriginalPaper

Towards Collaborative Group Activity Recognition Using Mobile Devices

OriginalPaper

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

OriginalPaper

Scalable Data Processing for Community Sensing Applications

OriginalPaper

Real Time Anomalous Trajectory Detection and Analysis

EditorialNotes

Editorial for MobiQuitous 2011 Special Issue

EditorialNotes

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

Neuer Inhalt

    Bildnachweise