Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

APLAS
2005
ACM

favoriteEmaildiscussreport

99views Programming Languages» more APLAS 2005»

A Parametric Model for the Analysis of Mobile Ambients

13 years 6 months ago

A Parametric Model for the Analysis of Mobile Ambients

Download www.eecs.qmul.ac.uk

In this paper we propose a new parametric abstract ﬁnite model of Mobile Ambients able to express several properties on processes. The model can be used for the analysis of these properties by means of model checking techniques. The precision of the model can be increased by modifying certain numeric parameters increasingly avoiding thereby the occurrences of false counterexamples in the analysis.

Dino Distefano

Real-time Traffic

Abstract ﬁnite Model | APLAS 2005 | Certain Numeric Parameters | Model Checking Techniques | Programming Languages |

claim paper

Related Content

» Static Analysis of a Model of the LDL Degradation Pathway

» Information flow security in Boundary Ambients

» Context Dependent Analysis of BioAmbients

» A Kleene Analysis of Mobile Ambients

» Spatial Analysis of BioAmbients

» A New Efficient Mechanism for Establishing IP Connectivity between Ambient Networks

» SimANet A Large Scalable Distributed Simulation Framework for Ambient Networks

» A unified analysis of routing protocols in MANETs

» A goalbased framework for contextual requirements modeling and analysis

Post Info
More Details (n/a)

Added	13 Oct 2010
Updated	13 Oct 2010
Type	Conference
Year	2005
Where	APLAS
Authors	Dino Distefano

Comments (0)