Login / Signup
A formal model and composition language for context-aware service protocols.
Javier Cubo
Carlos Canal
Ernesto Pimentel
Gwen Salaün
Published in:
CASTA@ESEC/SIGSOFT FSE (2009)
Keyphrases
</>
formal model
predicate calculus
security properties
context aware services
language learning
probabilistic knowledge
programming language
formal models
natural language
context aware
computer vision
image processing
ubiquitous home