AC-Contract: Run-Time Verification of Context-Aware Applications.

Marina Mongiello Patrizio Pelliccione Massimo Sciancalepore

Published in: SEAMS@ICSE (2015)

Keyphrases

context aware
virtual communities
context awareness
model checking
context aware computing
smart phones
contract algorithms
supply chain
verification method
asynchronous circuits
ubiquitous computing
pervasive computing
formal verification
formal analysis
context aware systems
face verification
database