Exploring Auto-Generation of Network Models With Performance Evaluation Process Algebra

IEEE Access ◽

10.1109/access.2018.2862390 ◽

2018 ◽

Vol 6 ◽

pp. 42971-42983 ◽

Cited By ~ 1

Author(s):

Jie Ding ◽

Rui Wang ◽

Xiao Chen ◽

Ying-En Ge

Keyword(s):

Performance Evaluation ◽

Process Algebra ◽

Network Models ◽

Evaluation Process

Download Full-text

Evaluation of RSVP and Mobility-Aware RSVP Using Performance Evaluation Process Algebra

2008 IEEE International Conference on Communications ◽

10.1109/icc.2008.43 ◽

2008 ◽

Cited By ~ 4

Author(s):

H. Wang ◽

D. I. Laurenson ◽

J. Hillston

Keyword(s):

Performance Evaluation ◽

Process Algebra ◽

Evaluation Process

Download Full-text

A Performance Evaluation Process Algebra-Based Fluid Approximation Approach to Evaluate Large Scale Content Adaptation Systems

Sensor Letters ◽

10.1166/sl.2012.2616 ◽

2012 ◽

Vol 10 (8) ◽

pp. 1698-1707 ◽

Cited By ~ 2

Author(s):

Jie Ding ◽

Xin-Shan Zhu ◽

Bin Li

Keyword(s):

Performance Evaluation ◽

Large Scale ◽

Process Algebra ◽

Evaluation Process ◽

Content Adaptation ◽

Fluid Approximation ◽

Approximation Approach ◽

A Performance

Download Full-text

Modeling and evaluating IaaS cloud using performance evaluation process algebra

2016 22nd Asia-Pacific Conference on Communications (APCC) ◽

10.1109/apcc.2016.7581504 ◽

2016 ◽

Cited By ~ 1

Author(s):

Jie Ding ◽

Leijie Sha ◽

Xiao Chen

Keyword(s):

Performance Evaluation ◽

Process Algebra ◽

Evaluation Process

Download Full-text

Cloud Service Security Adaptive Target Detection Algorithm Based on Bio-Inspired Performance Evaluation Process Algebra

Wuhan University Journal of Natural Sciences ◽

10.1007/s11859-019-1384-8 ◽

2019 ◽

Vol 24 (3) ◽

pp. 185-193

Author(s):

Guosheng Zhao ◽

Xiaofeng Qu ◽

Yuting Liao ◽

Tiantian Wang ◽

Jingting Zhang

Keyword(s):

Performance Evaluation ◽

Target Detection ◽

Process Algebra ◽

Evaluation Process ◽

Cloud Service ◽

Detection Algorithm

Download Full-text

Evaluating the Response Time of Large Scale Content Adaptation Systems Using Performance Evaluation Process Algebra

2010 IEEE International Conference on Communications ◽

10.1109/icc.2010.5502375 ◽

2010 ◽

Cited By ~ 2

Author(s):

J. Ding ◽

J. Hillston ◽

D. I. Laurenson

Keyword(s):

Performance Evaluation ◽

Response Time ◽

Large Scale ◽

Process Algebra ◽

Evaluation Process ◽

Content Adaptation

Download Full-text

A comparison of performance evaluation process algebra and generalized stochastic Petri nets

Proceedings 6th International Workshop on Petri Nets and Performance Models ◽

10.1109/pnpm.1995.524326 ◽

2002 ◽

Cited By ~ 27

Author(s):

S. Donatelli ◽

M. Ribaudo ◽

J. Hillston

Keyword(s):

Performance Evaluation ◽

Petri Nets ◽

Process Algebra ◽

Evaluation Process ◽

Stochastic Petri Nets ◽

Generalized Stochastic Petri Nets

Download Full-text

PEPA - Performance Evaluation Process Algebra

Texts in Theoretical Computer Science. An EATCS Series - Models of Computation ◽

10.1007/978-3-319-42900-7_16 ◽

2017 ◽

pp. 343-356

Author(s):

Roberto Bruni ◽

Ugo Montanari

Keyword(s):

Performance Evaluation ◽

Process Algebra ◽

Evaluation Process

Download Full-text

Performance Modeling of Openstack Cloud Computing Platform Using Performance Evaluation Process Algebra

2015 International Conference on Cloud Computing and Big Data (CCBD) ◽

10.1109/ccbd.2015.53 ◽

2015 ◽

Cited By ~ 6

Author(s):

Leijie Sha ◽

Jie Ding ◽

Xiao Chen ◽

Xiaobin Zhang ◽

Yun Zhang ◽

...

Keyword(s):

Cloud Computing ◽

Performance Evaluation ◽

Process Algebra ◽

Performance Modeling ◽

Evaluation Process ◽

Computing Platform ◽

Cloud Computing Platform

Download Full-text

Performance Evaluation Process Algebra

A Compositional Approach to Performance Modelling ◽

10.1017/cbo9780511569951.004 ◽

1996 ◽

pp. 17-44

Keyword(s):

Performance Evaluation ◽

Process Algebra ◽

Evaluation Process

Download Full-text

Describing IEEE 802.11 Wireless Mechanisms by Using the π-Calculus and Performance Evaluation Process Algebra

Lecture Notes in Computer Science - Applying Formal Methods: Testing, Performance, and M/E-Commerce ◽

10.1007/978-3-540-30233-9_18 ◽

2004 ◽

pp. 233-247 ◽

Cited By ~ 3

Author(s):

K. N. Sridhar ◽

Gabriel Ciobanu

Keyword(s):

Performance Evaluation ◽

Ieee 802.11 ◽

Process Algebra ◽

Evaluation Process ◽

Π Calculus ◽

And Performance

Download Full-text