Formal Methods and Stochastic Models for Performance Evaluation

10.1007/978-3-540-75211-0 ◽

2007 ◽

Cited By ~ 3

Keyword(s):

Performance Evaluation ◽

Formal Methods ◽

Stochastic Models

Download Full-text

Performance evaluation of a flexible manufacturing system using two formal methods

2015 3rd International Conference on Control, Engineering & Information Technology (CEIT) ◽

10.1109/ceit.2015.7233167 ◽

2015 ◽

Author(s):

Liza Mameri ◽

Redouane Kara ◽

Said Amari

Keyword(s):

Performance Evaluation ◽

Formal Methods ◽

Flexible Manufacturing ◽

Manufacturing System ◽

Flexible Manufacturing System

Download Full-text

Mobile Cloud Performance Evaluation Using Stochastic Models

IEEE Transactions on Mobile Computing ◽

10.1109/tmc.2017.2749577 ◽

2018 ◽

Vol 17 (5) ◽

pp. 1134-1147 ◽

Cited By ~ 8

Author(s):

Francisco Airton Silva ◽

Sokol Kosta ◽

Matheus Rodrigues ◽

Danilo Oliveira ◽

Teresa Maciel ◽

...

Keyword(s):

Performance Evaluation ◽

Stochastic Models ◽

Mobile Cloud

Download Full-text

Formal Methods for Performance Evaluation

Lecture Notes in Computer Science - Lectures on Formal Methods and PerformanceAnalysis ◽

10.1007/3-540-44667-2_1 ◽

2001 ◽

pp. 1-37 ◽

Cited By ~ 7

Author(s):

Ulrich Herzog

Keyword(s):

Performance Evaluation ◽

Formal Methods

Download Full-text

Stochastic models for cloud computing performance evaluation

Proceedings of the 10th Central and Eastern European Software Engineering Conference in Russia on - CEE-SECR '14 ◽

10.1145/2687233.2687256 ◽

2014 ◽

Cited By ~ 5

Author(s):

Anatoly D. Khomonenko ◽

Sergey I. Gindin

Keyword(s):

Cloud Computing ◽

Performance Evaluation ◽

Stochastic Models ◽

Computing Performance

Download Full-text

Formal Methods for Performance Evaluation

10.1007/978-3-540-72522-0 ◽

2007 ◽

Cited By ~ 6

Keyword(s):

Performance Evaluation ◽

Formal Methods

Download Full-text

An Interacting Stochastic Models Approach for the Performance Evaluation of DSRC Vehicular Safety Communication

IEEE Transactions on Computers ◽

10.1109/tc.2012.37 ◽

2013 ◽

Vol 62 (5) ◽

pp. 873-885 ◽

Cited By ~ 25

Author(s):

Xiaoyan Yin ◽

Xiaomin Ma ◽

K. S. Trivedi

Keyword(s):

Performance Evaluation ◽

Stochastic Models ◽

Safety Communication ◽

Vehicular Safety Communication

Download Full-text

Generalized Stochastic Models For Building Performance Evaluation In Nigeria

IOSR Journal of Engineering ◽

10.9790/3021-04120104 ◽

2014 ◽

Vol 4 (1) ◽

pp. 01-04

Author(s):

Sule S., Eme D.B.

Keyword(s):

Performance Evaluation ◽

Stochastic Models ◽

Building Performance

Download Full-text

Performance evaluation of logistics with componentized stochastic models

2008 IEEE International Conference on Systems, Man and Cybernetics ◽

10.1109/icsmc.2008.4811599 ◽

2008 ◽

Author(s):

Gabriel Alves ◽

Paulo Maciel ◽

Ricardo Lima ◽

Armin Zimmermann

Keyword(s):

Performance Evaluation ◽

Stochastic Models

Download Full-text

Performance evaluation of test process based on stochastic models

Proceedings of the 2010 Spring Simulation Multiconference on - SpringSim '10 ◽

10.1145/1878537.1878684 ◽

2010 ◽

Author(s):

Marcelo Marinho ◽

Paulo Maciel ◽

Erica Sousa ◽

Teresa Maciel ◽

Ermeson Andrade

Keyword(s):

Performance Evaluation ◽

Stochastic Models ◽

Test Process

Download Full-text