User Context Models - A Framework to Ease Software Formal Verifications.

Amine Raji Philippe Dhaussy

Published in: ICEIS (3) (2010)

Keyphrases

probabilistic model
user interface
context aware
information retrieval
artificial intelligence
high level
mobile devices
user context