A lattice-theoretic approach to runtime property detection for pervasive context

Tingting Hua, Yu Huang, Jiannong Cao, Xianping Tao

Research output: Chapter in book / Conference proceedingConference article published in proceeding or bookAcademic researchpeer-review

3 Citations (Scopus)


Runtime detection of contextual properties is one of the primary approaches to enabling context-awareness. Existing property detection schemes implicitly assume that contexts under detection belong to the same snapshot of time. However, this assumption does not necessarily hold in the asynchronous pervasive computing environments. To cope with the asynchrony, we first model environment behavior based on logical time. One key notion of our model is that all meaningful observations of the environment have the lattice structure. Then we propose the LAT algorithm, which maintains the lattice of meaningful observations at runtime. We also propose the LATPD algorithm, which achieves detection of contextual properties at runtime. We implement algorithms over the open-source context-aware middleware MIPA, and simulations are conducted. The evaluation results show that LAT and LATPD support effective detection of contextual properties in asynchronous environments.
Original languageEnglish
Title of host publicationUbiquitous Intelligence and Computing - 7th International Conference, UIC 2010, Proceedings
Number of pages15
Publication statusPublished - 23 Nov 2010
Event7th International Conference on Ubiquitous Intelligence and Computing, UIC 2010 - Xi'an, China
Duration: 26 Oct 201029 Oct 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6406 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference7th International Conference on Ubiquitous Intelligence and Computing, UIC 2010


  • Asynchronous environment
  • Context-awareness
  • Lattice
  • Property detection

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this