Login / Signup

A formalized and validated executable model of the SIP-based presence protocol for mobile applications.

Vijay GehlotAnush Hayrapetyan
Published in: ACM Southeast Regional Conference (2007)
Keyphrases
  • mobile applications
  • probabilistic model
  • mobile devices