Using Mobile TLA as a Logic for Dynamic I/O Automata.

Published in: IEICE Trans. Inf. Syst. (2009)

Keyphrases

mobile devices
temporal logic
mobile computing
mobile environments
data structure
mobile phone
logic programming
context aware
dynamic environments
input output
modal logic
data sets
main memory
file system
mobile applications
mobile users