A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios.

Einar Broch Johnsen Rudolf Schlatte Silvia Lizeth Tapia Tarifa

Published in: FACS (2011)

Keyphrases

formal model
predicate calculus
resource allocation
security properties
formal models
complex objects
d objects
probabilistic knowledge
mobile agents
data objects
object model
object tracking
case based reasoning
moving objects
spatial relations
multiple objects
mobile networks
security patterns