Tile logic as an architectural model for mobility.

Chafia Bouanaka Faiza Belala

Published in: ISCC (2008)

Keyphrases

architectural model
web services
real time systems
conceptual model
mobile users
modal logic
logic programming
process model
databases
mobility patterns
dynamic behaviors
proof theory
classical logic
mobile phone
general purpose
mobile agents
distributed systems
low level
training data
case study
real world
real time