Semantics of dynamic hiding in mobile UTP-CSP.

Gerard Ekembe Ngondi

Published in: Theor. Comput. Sci. (2023)

Keyphrases

constraint satisfaction problems
mobile devices
mobile phone
logic programming
constraint satisfaction
computing environments
metadata
semantic information
arc consistency
mobile networks
decomposition methods