Publications
Export 1 results:
Filters: Keyword is Formal definition [Clear All Filters]
"An approach for resiliency quantification of large scale systems",
Performance Evaluation Review, vol. 44, no. 4: Association for Computing Machinery, pp. 37-48, 2017.
"QoS assessment of WS-BPEL processes through non-Markovian stochastic Petri nets",
Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing (IPDPS), Atlanta, GA, United States, 19-23 April 2010, IEEE Computer Society, 2010.