A Method for Model Checking Context-Aware Exception Handling.

Lincoln S. Rocha Rossana M. C. Andrade Alessandro F. Garcia

Published in: SBES (2013)

Keyphrases

context aware
model checking
mobile devices
cooperative
context awareness
contextual information
temporal logic
ubiquitous computing
machine learning
information systems
computational intelligence
binary decision diagrams
context aware services
verification method
computation tree logic