Login / Signup

A Formal Model of Coordination for Supporting Community Computing in a Ubiquitous Environment.

Jingyu NamHyunwoo KimDongmin ShinJaeil Park
Published in: APCHI (2008)
Keyphrases
  • formal model
  • ubiquitous environment
  • context aware
  • ubiquitous computing
  • smart spaces
  • security properties
  • web services
  • wireless sensor networks
  • software development
  • intelligent systems
  • mobile terminals