Related references
Note: Only part of the references are listed.Applications of provenance in performance prediction and data storage optimisation
Simon Woodman et al.
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE (2017)
Privacy-Aware Scheduling SaaS in High Performance Computing Environments
Shaghahyegh Sharif et al.
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS (2017)
Optimal constructions for active diagnosis
Stefan Haar et al.
JOURNAL OF COMPUTER AND SYSTEM SCIENCES (2017)
Quantifying leakage in the presence of unreliable sources of information
Sardaouna Hamadou et al.
JOURNAL OF COMPUTER AND SYSTEM SCIENCES (2017)
Formal verification of secure information flow in cloud computing
Wen Zeng et al.
JOURNAL OF INFORMATION SECURITY AND APPLICATIONS (2016)
Diagnosability under Weak Fairness
Vasileios Germanos et al.
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (2015)
Opacity in Internet of Things with Cloud Computing
Wen Zeng et al.
2015 IEEE 8TH INTERNATIONAL CONFERENCE ON SERVICE-ORIENTED COMPUTING AND APPLICATIONS (SOCA) (2015)
Cloud computing for fast prediction of chemical activity
Jacek Cala et al.
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE (2013)
A multi-level security model for partitioning workflows over federated clouds
Paul Watson
JOURNAL OF CLOUD COMPUTING-ADVANCES SYSTEMS AND APPLICATIONS (2012)
Measuring Information Leakage using Generalized Gain Functions
Mario S. Alvim et al.
2012 IEEE 25TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF) (2012)
Types of Asynchronous Diagnosability and the Reveals-Relation in Occurrence Nets
Stefan Haar
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2010)
Opacity generalised to transition systems
Jeremy W. Bryans et al.
INTERNATIONAL JOURNAL OF INFORMATION SECURITY (2008)
Modelling Opacity Using Petri Nets
Jeremy W. Bryans et al.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (2005)