The log-structured merge-tree (LSM-tree)
Acta Informatica
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
A survey of data provenance in e-science
ACM SIGMOD Record
Stasis: flexible transactional storage
OSDI '06 Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation - Volume 7
A five-year study of file-system metadata
FAST '07 Proceedings of the 5th USENIX conference on File and Storage Technologies
Rapid file system development using ptrace
Proceedings of the 2007 workshop on Experimental computer science
The partitioned exponential file for database storage management
The VLDB Journal — The International Journal on Very Large Data Bases
OSDI '06 Proceedings of the 7th symposium on Operating systems design and implementation
Rose: compressed, log-structured replication
Proceedings of the VLDB Endowment
Enabling transactional file access via lightweight kernel extensions
FAST '09 Proccedings of the 7th conference on File and storage technologies
Trustworthy information: concepts and mechanisms
WAIM'10 Proceedings of the 11th international conference on Web-age information management
An efficient multi-tier tablet server storage architecture
Proceedings of the 2nd ACM Symposium on Cloud Computing
A general-purpose provenance library
TaPP'12 Proceedings of the 4th USENIX conference on Theory and Practice of Provenance
Hi-Fi: collecting high-fidelity whole-system provenance
Proceedings of the 28th Annual Computer Security Applications Conference
OPUS: a lightweight system for observational provenance in user space
TaPP'13 Proceedings of the 5th USENIX conference on Theory and Practice of Provenance
OPUS: a lightweight system for observational provenance in user space
Proceedings of the 5th USENIX Workshop on the Theory and Practice of Provenance
| Hi-index | 0.00 |
We present a formalism for provenance in distributed systems based on the π-calculus. Its main feature is that all data products are annotated with metadata representing their provenance. The calculus is given a provenance tracking semantics, which ...