A Fully Abstract Model for Mobile Ambients.

Mario Coppo Mariangiola Dezani-Ciancaglini

Published in: Electron. Notes Theor. Comput. Sci. (2001)

Keyphrases

conceptual model
computational model
high level
objective function
probabilistic model
case study
experimental data
mathematical model
parameter estimation
mobile devices
low level
multiscale
image sequences
data mining
sensitivity analysis
simulation model
object model