Search results
-
Towards Proving Security in the Presence of Large Untrusted Components
http://www.usenix.org/events/ssv10/tech/full_papers/Andronick.pdf http://www.usenix.org/events/ssv10/tech/slides/andronick.pdf ...admin - December 20, 2021 - 5:37 pm
-
Loop Refinement Using Octagons and Satisfiability
http://www.usenix.org/events/ssv10/tech/full_papers/Brauer.pdf ...admin - December 20, 2021 - 5:37 pm
-
Bringing Provenance to Its Full Potential Using Causal Reasoning
Alexandra Meliou, University of Washington Wolfgang Gatterbauer, University of Washington Dan Suciu, University of Washington BibTeX @inproceedings {266707, author = {Alexandra Meliou and Wolfgang Gatterbauer and Dan Suciu}, title = {Bringing Provenance t ...admin - December 19, 2021 - 9:52 am
-
TAP: Time-aware Provenance for Distributed Systems
Wenchao Zhou, University of Pennsylvania Ling Ding, University of Pennsylvania Andreas Haeberlen, University of Pennsylvania Zachary Ives, University of Pennsylvania Boon Thau Loo, University of Pennsylvania BibTeX @inproceedings {266704, author = {Wencha ...admin - December 19, 2021 - 9:52 am
-
CRMdig: A Generic Digital Provenance Model for Scientific Observation
Martin Doerr, FORTH-ICS, Crete, Greece Maria Theodoridou, FORTH-ICS, Crete, Greece BibTeX @inproceedings {266705, author = {Martin Doerr and Maria Theodoridou}, title = {{CRMdig}: A Generic Digital Provenance Model for Scientific Observation}, booktitle = ...admin - December 19, 2021 - 9:52 am
-
Efficient Query Computing for Uncertain Possibilistic Databases with Provenance
Angelos Vasilakopoulos, National Technical University of Athens Verena Kantere, Cyprus University of Technology BibTeX @inproceedings {266706, author = {Angelos Vasilakopoulos and Verena Kantere}, title = {Efficient Query Computing for Uncertain Possibili ...admin - December 19, 2021 - 9:52 am
-
Challenges for Provenance in Cloud Computing
Imad M. Abbadi, University of Oxford John Lyle, University of Oxford BibTeX @inproceedings {266700, author = {Imad M. Abbadi and John Lyle}, title = {Challenges for Provenance in Cloud Computing}, booktitle = {3rd USENIX Workshop on the Theory and Practic ...admin - December 19, 2021 - 9:52 am
-
Collecting Provenance via the Xen Hypervisor
Peter Macko, Harvard University Marc Chiarini, Harvard University BibTeX @inproceedings {266701, author = {Peter Macko and Marc Chiarini}, title = {Collecting Provenance via the Xen Hypervisor}, booktitle = {3rd USENIX Workshop on the Theory and Practice ...admin - December 19, 2021 - 9:52 am
-
Provenance Integration Requires Reconciliation
Elaine Angelino, Harvard University Uri Braun, Harvard University David A. Holland, Harvard University Daniel Margo, Harvard University BibTeX @inproceedings {266702, author = {Elaine Angelino and Uri Braun and David A. Holland and Daniel Margo}, title = ...admin - December 19, 2021 - 9:52 am
-
Compressing Provenance Graphs
Yulai Xie, Huazhong University of Science and Technology Wuhan National Laboratory for Optoelectronics and University of California, Santa Cruz Kiran-Kumar Muniswamy-Reddy, Harvard University Darrell D.E. Long, University of California, Santa Cruz Ahmed A ...admin - December 19, 2021 - 9:52 am
-
Getting It Together: Enabling Multi-organization Provenance Exchange
M. David Allen, The MITRE Corporation Adriane Chapman, The MITRE Corporation Barbara Blaustein, The MITRE Corporation Len Seligman, The MITRE Corporation BibTeX @inproceedings {266697, author = {M. David Allen and Adriane Chapman and Barbara Blaustein and ...admin - December 19, 2021 - 10:52 am
-
Challenges in Managing Implicit and Abstract Provenance Data: Experiences with ProvManager
Anderson Marinho, COPPE—Federal University of Rio de Janeiro Marta Mattoso, COPPE—Federal University of Rio de Janeiro Claudia Werner, COPPE—Federal University of Rio de Janeiro Vanessa Braganholo, Computing Institute—Fluminense Federal University, Brazil ...admin - December 19, 2021 - 10:52 am
-
Provenance Query Patterns for Many-Task Scientific Computing
Luiz M.R. Gadelha Jr., Federal University of Rio de Janeiro Marta Mattoso, Federal University of Rio de Janeiro Michael Wilde, University of Chicago/Argonne National Laboratory Ian Foster, University of Chicago/Argonne National Laboratory BibTeX @inprocee ...admin - December 19, 2021 - 10:52 am
-
A Method to Build and Analyze Scientific Workflows from Provenance through Process Mining
Reng Zeng, Florida International University Xudong He, Florida International University Jiafei Li, JiLin University, Changchun, China Zheng Liu, Eindhoven University of Technology, The Netherlands W.M.P. van der Aalst, Eindhoven University of Technology, ...admin - December 19, 2021 - 10:52 am
-
Provenance Map Orbiter: Interactive Exploration of Large Provenance Graphs
BibTeX @inproceedings {266694, title = {Provenance Map Orbiter: Interactive Exploration of Large Provenance Graphs}, booktitle = {3rd USENIX Workshop on the Theory and Practice of Provenance (TaPP 11)}, year = {2011}, address = {Heraklion, Crete Greece}, ...admin - December 19, 2021 - 10:52 am
-
Provenance for System Troubleshooting
BibTeX @inproceedings {266695, title = {Provenance for System Troubleshooting}, booktitle = {3rd USENIX Workshop on the Theory and Practice of Provenance (TaPP 11)}, year = {2011}, address = {Heraklion, Crete Greece}, url = {https://www.usenix.org/confere ...admin - December 19, 2021 - 10:52 am
-
Incremental Workflow Improvement Through Analysis of Its Data Provenance
Paolo Missier, Newcastle University, UK BibTeX @inproceedings {266696, author = {Paolo Missier}, title = {Incremental Workflow Improvement Through Analysis of Its Data Provenance}, booktitle = {3rd USENIX Workshop on the Theory and Practice of Provenance ...admin - December 19, 2021 - 10:52 am
-
Publishing Provenance-rich Scientific Papers
Gukelberger and Brigitte Surer and Matthias Troyer}, title = {Publishing Provenance-rich Scientific Papers ... = {https://www.usenix.org/conference/tapp11/publishing-provenance-rich-scientific-papers}, publisher = {USENIX Association}, month = jun} Download ...admin - December 19, 2021 - 10:52 am
-
Tracking Emigrant Data via Transient Provenance
Stephanie N. Jones, University of California, Santa Cruz Christina R. Strong, University of California, Santa Cruz Ethan L. Miller, University of California, Santa Cruz BibTeX @inproceedings {266688, author = {Stephanie N. Jones and Christina R. Strong an ...admin - December 19, 2021 - 10:52 am
-
A Framework for Policies over Provenance
Tyrone Cadenhead, The University of Texas at Dallas Murat Kantarcioglu, The University of Texas at Dallas Bhavani Thuraisingham, The University of Texas at Dallas BibTeX @inproceedings {266689, author = {Tyrone Cadenhead and Murat Kantarcioglu and Bhavani ...admin - December 19, 2021 - 10:52 am
-
A Fine-Grained Workflow Model with Provenance-Aware Security Views
Zhuowei Bao, University of Pennsylvania Susan B. Davidson, University of Pennsylvania Tova Milo, Tel Aviv University BibTeX @inproceedings {266690, author = {Zhuowei Bao and Susan B. Davidson and Tova Milo}, title = {A {Fine-Grained} Workflow Model with { ...admin - December 19, 2021 - 11:52 am
-
One of These Records Is Not Like the Others
Carrie Gates, CA Labs, New York, NY Matt Bishop, University of California at Davis BibTeX @inproceedings {266691, author = {Carrie Gates and Matt Bishop}, title = {One of These Records Is Not Like the Others}, booktitle = {3rd USENIX Workshop on the Theor ...admin - December 19, 2021 - 11:52 am
-
Provenance in Dynamic Data Systems
Jing Zhang, University of Michigan H.V. Jagadish, University of Michigan BibTeX @inproceedings {266685, author = {Jing Zhang and H.V. Jagadish}, title = {Provenance in Dynamic Data Systems}, booktitle = {3rd USENIX Workshop on the Theory and Practice of P ...admin - December 19, 2021 - 11:52 am
-
Fine Grain Provenance Using Temporal Databases
Dieter Gawlick, Oracle Corporation, Redwood City, CA Venkatesh Radhakrishnan, Oracle Corporation, Redwood City, CA BibTeX @inproceedings {266686, author = {Dieter Gawlick and Venkatesh Radhakrishnan}, title = {Fine Grain Provenance Using Temporal Database ...admin - December 19, 2021 - 11:52 am
-
Dynamic Provenance for SPARQL Updates Using Named Graphs
Harry Halpin, World Wide Web Consortium James Cheney, University of Edinburgh BibTeX @inproceedings {266687, author = {Harry Halpin and James Cheney}, title = {Dynamic Provenance for {SPARQL} Updates Using Named Graphs}, booktitle = {3rd USENIX Workshop o ...admin - December 19, 2021 - 11:52 am