Typed context awareness Ambient Calculus for pervasive applications.
Douglas Pereira PasqualinJuliana Kaizer VizzottoEduardo Kessler PivetaPublished in: Formal Aspects Comput. (2015)
Keyphrases
- context awareness
- ambient intelligence
- context aware
- pervasive computing
- context aware computing
- intelligent environments
- lambda calculus
- context modeling
- ubiquitous computing
- smart environments
- wearable computing
- context aware services
- intelligent systems
- ami systems
- artificial intelligence
- higher order
- ubiquitous computing environments
- context aware systems
- computing environments
- context sensitive
- human centric
- service management
- ambient intelligent
- pervasive computing environments
- current context
- distributed systems
- low cost
- intelligent user interfaces
- mobile computing
- location tracking