Sciweavers

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

27

ISCIS
2004
Springer

favoriteEmaildiscussreport

92views Information Technology» more ISCIS 2004»

Modelling Mobility with PEPA Nets

14 years 4 months ago

Modelling Mobility with PEPA Nets

Download www.dcs.ed.ac.uk

We explain the use of PEPA nets in documenting high-level designs of mobile code and mobile computing systems. This modelling language (which allows the modeller to diﬀerentiate between locationchanging and state-changing operations in the system, and to quantify their computational expense for use in predictive performance analysis) is applied to the problem of modelling the canonical mobile code design paradigms which are in practical application today, as described in [2].

Jane Hillston, Marina Ribaudo

Real-time Traffic

Canonical Mobile Code | ISCIS 2004 | Mobile Code | Mobile Computing Systems |

claim paper

Related Content

» Software performance modelling using PEPA nets

» Modelling RolePlaying Games Using PEPA Nets

» PEPA Nets in Practice Modelling a Decentralised PeertoPeer Emergency Medical Application

» A design environment for mobile applications

» Investigating unfairness scenarios in MANET using 80211b

» Stochastic Ambient Calculus

» Performance Evaluation for Global Computation

» Modeling Mobility Agents in Supervisory and Controlling Systems Based on Nets within Nets

Post Info
More Details (n/a)

Added	02 Jul 2010
Updated	02 Jul 2010
Type	Conference
Year	2004
Where	ISCIS
Authors	Jane Hillston, Marina Ribaudo

Comments (0)