A PMIF Semantic Validation Tool

Authors:
Daniel Garcia;Catalina M. Llado;Connie U. Smith;Ramon Puigjaner
Affiliations:
Universitat de les Illes Balears, Spain;Universitat de les Illes Balears, Spain;Performance Engineering Services, New Mexico, 87504-2640 USA;Universitat de les Illes Balears, Spain
Venue:
QEST '06 Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems
Year:
2006

Citing 0
Cited 1

Performance Model Interchange Format (PMIF 2): A comprehensive approach to Queueing Network Model interoperability

Performance Evaluation

Quantified Score

Hi-index	0.01

Visualization

Abstract

This talk will provide an overview of work that I have done with Hana Chockler, Orna Kupferman, and Judea Pearl [1, 2, 10, 9] on defining notions such as causality, explanation, responsibility, and blame. I first review the Halpern-Pearl definition of ...