\newcommand{\noopsort}[1]{} \newcommand{\printfirst}[2]{#1}
  \newcommand{\singleletter}[1]{#1} \newcommand{\switchargs}[2]{#2#1}
\begin{thebibliography}{10}

\bibitem{altintas2006kepler}
Ilkay Altintas, Oscar Barney, and Efrat Jaeger-Frank.
\newblock Provenance collection support in the kepler scientific workflow
  system.
\newblock In {\em Provenance and Annotation of Data: International Provenance
  and Annotation Workshop, IPAW 2006}, volume 4145/2006 of {\em Lecture Notes
  in Computer Science}, pages {118--132}, Chicago, IL, USA, May 2006. Springer.

\bibitem{anderson2004boinc}
David~P. Anderson.
\newblock {BOINC}: A system for public-resource computing and storage.
\newblock In {\em Proceedings of the 5th IEEE/ACM International Workshop on
  Grid Computing}, pages {4--10}. IEEE Computer Society, 2004.

\bibitem{anderson2002seti}
David~P. Anderson, Jeff Cobb, Eric Korpela, Matt Lebofsky, and Dan Werthimer.
\newblock {SETI@home}: An experiment in public-resource computing.
\newblock {\em Communications of the ACM}, 45(11):{56--61}, November 2002.

\bibitem{awerbuch1984reliable}
Baruch Awerbuch and Shimon Even.
\newblock Efficient and reliable broadcast is achievable in an eventually
  connected network.
\newblock In {\em Proceedings of the Third Annual ACM Symposium on Principles
  of Distributed Computing}, pages {278--281}. ACM, 1984.

\bibitem{bellman1961processes}
Richard~E. Bellman.
\newblock {\em Adaptive Control Processes: A Guided Tour}.
\newblock Princeton University Press, Princeton, NJ, USA, 1961.

\bibitem{rfc1738}
T.~Berners-Lee, L.~Masinter, and M.~McCahill.
\newblock {RFC 1738}: {Uniform Resource Locators (URL)}, December 1994.

\bibitem{birrell1982grapevine}
Andrew~D. Birrell, Roy Levin, Roger~M. Needham, and Michael~D. Schroeder.
\newblock Grapevine: An exercise in distributed computing.
\newblock {\em Communications of the ACM}, 25(4):{260--274}, April 1982.

\bibitem{braun2006provsec}
Uri Braun and Avi Shinnar.
\newblock A security model for provenance.
\newblock Technical Report TR-04-06, Computer Science Group, Harvard
  University, 2006.

\bibitem{buneman2001whywhere}
Peter Buneman, Sanjeev Khanna, and Wang-Chiew Tan.
\newblock Why and where: A characterization of data provenance.
\newblock In {\em ICDT '01: Proceedings of the 8th International Conference on
  Database Theory}, volume 1973 of {\em Lecture Notes in Computer Science},
  pages {316--330}, London, UK, 2001. Springer.

\bibitem{cerf1974tcp}
Vinton~G. Cerf and Robert~E. Kahn.
\newblock A protocol for packet network intercommunication.
\newblock {\em IEEE Transactions on Communications}, 22(5):{637--648}, May
  1974.

\bibitem{dnssdDraft}
Stuart Cheshire and Marc Krochmal.
\newblock {DNS}-based service discovery, March 2010.

\bibitem{dacruz2008provenanceservices}
S\'{e}rgio Manuel~Serra da~Cruz, Patr\'{\i}cia~M. Barros, Paulo~M. Bisch, Maria
  Luiza~Machado Campos, and Marta Mattoso.
\newblock Provenance services for distributed workflows.
\newblock In {\em Proceedings of the 2008 Eighth IEEE International Symposium
  on Cluster Computing and the Grid}, pages {526--533}. IEEE Computer Society,
  2008.

\bibitem{dean2004mapreduce}
Jeffrey Dean and Sanjay Ghemawat.
\newblock {MapReduce}: Simplified data processing on large clusters.
\newblock In {\em Proceedings of the 6th Symposium on Operating System Design
  and Implementation (OSDI 2004)}. USENIX Association, 2004.

\bibitem{demers1987epidemic}
Alan Demers, Dan Greene, Carl Hauser, Wes Irish, John Larson, Scott Shenker,
  Howard Sturgis, Dan Swinehart, and Doug Terry.
\newblock Epidemic algorithms for replicated database maintenance.
\newblock In {\em Proceedings of the Sixth Annual ACM Symposium on Principles
  of Distributed Computing}, pages {1--12}. ACM, 1987.

\bibitem{doorenbos1995thesis}
Robert~B. Doorenbos.
\newblock {\em Production Matching for Large Learning Systems}.
\newblock PhD thesis, Carnegie Mellon University, Pittsburgh, PA, USA, January
  1995.

\bibitem{rfc5789}
L.~Dusseault.
\newblock {RFC 5789}: {Patch Method for HTTP}, March 2010.

\bibitem{rfc2616}
R.~Fielding, J.~Gettys, J.~Mogul, H.~Frystyk, L.~Masinter, P.~Leach, and
  T.~Berners-Lee.
\newblock {RFC 2616}: Hypertext transfer protocol -- {HTTP/1.1}, June 1999.

\bibitem{fielding2000thesis}
Roy~Thomas Fielding.
\newblock {\em Architectural Styles and the Design of Network-based Software
  Architectures}.
\newblock PhD thesis, University of California, Irvine, Irvine, CA, USA, 2000.

\bibitem{forgy1979rete}
Charles~Lanny Forgy.
\newblock {\em On the Efficient Implementation of Production Systems}.
\newblock PhD thesis, Carnegie Mellon University, Pittsburgh, PA, USA, February
  1979.

\bibitem{friedman1976lazy}
Daniel~P. Friedman and David~S. Wise.
\newblock Cons should not evaluate its arguments.
\newblock In S.~Michaelson and R.~Milner, editors, {\em Automata, Languages and
  Programming}, pages {257--284}, Edinburgh, UK, 1976. Edinburgh University
  Press.

\bibitem{hasan2009picasso}
Ragib Hasan, Radu Sion, and Marianne Winslett.
\newblock The case of the fake {Picasso}: Preventing history forgery with
  secure provenance.
\newblock In {\em Proceedings of the 7th USENIX Conference on File and Storage
  Technologies (FAST 2009)}. USENIX Association, 2009.

\bibitem{khare2004arrested}
Rohit Khare and Richard~N. Taylor.
\newblock Extending the representational state transfer {(REST)} architectural
  style for distributed systems.
\newblock In {\em Proceedings of the 26th International Conference on Software
  Engineering}, pages {428--437}. IEEE Computer Society, 2004.

\bibitem{rfc4122}
P.~Leach, M.~Mealling, and R.~Salz.
\newblock {RFC 4122}: A {Universally Unique IDentifier (UUID) URN} namespace,
  July 2005.

\bibitem{rfc1034}
P.~Mockapetris.
\newblock {RFC 1034}: Domain names - concepts and facilities, November 1987.

\bibitem{rfc1035}
P.~Mockapetris.
\newblock {RFC 1035}: Domain names - implementation and specification, November
  1987.

\bibitem{moreau2008provenance}
Luc Moreau, Paul Groth, Simon Miles, Javier Vazquez-Salceda, John Ibbotson,
  Sheng Jiang, Steve Munroe, Omer Rana, Andreas Schreiber, Victor Tan, and
  Laszlo Varga.
\newblock The provenance of electronic data.
\newblock {\em Communications of the ACM}, 51(4):{52--58}, March 2008.

\bibitem{munroe2006prime}
Steve Munroe, Simon Miles, Luc Moreau, and Javier V\'{a}squez-Salceda.
\newblock {PrIMe:} a software engineering methodology for developing
  provenance-aware applications.
\newblock In {\em {SEM} '06: Proceedings of the 6th International Workshop on
  Software Engineering and Middleware}, pages {39--46}, Portland, OR, USA,
  September 2006. ACM.

\bibitem{narayanan2009social}
Arvind Narayanan and Vitaly Shmatikov.
\newblock De-anonymizing social networks.
\newblock In {\em 30th IEEE Symposium on Security and Privacy}, pages
  {173--187}, Oakland, CA, USA, 2009. IEEE Computer Society.

\bibitem{netzer1996mpirace}
Robert H.~B. Netzer, Timothy~W. Brennan, and Suresh~K. Damodaran-Kamal.
\newblock Debugging race conditions in message-passing programs.
\newblock In {\em Proceedings of the SIGMETRICS Symposium on Parallel and
  Distributed Tools}, pages {31--40}, Philadelphia, PA, USA, 1996. ACM.

\bibitem{netzer1992race}
Robert H.~B. Netzer and Barton~P. Miller.
\newblock What are race conditions?: Some issues and formalizations.
\newblock {\em ACM Letters on Programming Languages and Systems},
  1(1):{74--88}, March 1992.

\bibitem{parsons2004clustering}
Lance Parsons, Ehtesham Haque, and Huan Liu.
\newblock Subspace clustering for high dimensional data: A review.
\newblock {\em ACM SIGKDD Explorations Newsletter}, 6(1):{90--105}, 2004.

\bibitem{radul2009thesis}
Alexey Radul.
\newblock {\em Propagation Networks: A Flexible and Expressive Substrate for
  Computation}.
\newblock PhD thesis, Massachusetts Institute of Technology, 2009.

\bibitem{radul2009art}
Alexey Radul and Gerald~Jay Sussman.
\newblock The art of the propagator.
\newblock Technical Report MIT-CSAIL-TR-2009-002, MIT Computer Science and
  Artificial Intelligence Laboratory, January 2009.

\bibitem{sar2005lineagefs}
Can Sar and Pei Cao.
\newblock Lineage file system.
\newblock Department of Computer Science, Stanford University.
  http://crypto.stanford.edu/{\textasciitilde}cao/lineage.html, 2005.

\bibitem{schneier1999logs}
Bruce Schneier and John Kelsey.
\newblock Secure audit logs to support computer forensics.
\newblock {\em ACM Transactions on Information and System Security},
  2(2):159--176, 1999.

\bibitem{simmhan2005provenance}
Yogesh~L. Simmhan, Beth Plale, and Dennis Gannon.
\newblock A survey of data provenance in e-science.
\newblock {\em ACM SIGMOD Record}, 34(3):{31--36}, September 2005.

\bibitem{singhal1990updatetransport}
Mukesh Singhal.
\newblock Update transport: A new technique for update synchronization in
  replicated database systems.
\newblock {\em IEEE Transactions on Software Engineering}, 16(12):{1325--1336},
  December 1990.

\bibitem{szomszor2003ws}
Martin Szomszor and Luc Moreau.
\newblock Recording and reasoning over data provenance in web and grid
  services.
\newblock In {\em On the Move to Meaningful Internet Systems 2003: CoopIS, DOA,
  and ODBASE}, volume 2888/2003 of {\em Lecture Notes in Computer Science},
  pages {603--620}. Springer, 2003.

\bibitem{terry1995bayou}
Douglas~B. Terry, Marvin~M. Theimer, Karin Petersen, Alan~J. Demers, Mike~J.
  Spreitzer, and Carl~H. Hauser.
\newblock Managing update conflicts in bayou, a weakly connected replicated
  storage system.
\newblock In {\em Proceedings of the Fifteenth ACM Symposium on Operating
  Systems Principles}, pages {172--182}, Copper Mountain, CO, USA, 1995. ACM.

\bibitem{upnp1_0}
{UPnP Forum}.
\newblock {UPnP} device architecture 1.0, April 2008.

\bibitem{upnp1_1}
{UPnP Forum}.
\newblock {UPnP} device architecture 1.1, October 2008.

\bibitem{urbani2009reasoning}
Jacopo Urbani, Spyros Kotoulas, Eyal Oren, and Frank van Harmelen.
\newblock Scalable distributed reasoning using {MapReduce}.
\newblock In {\em Proceedings of the ISWC '09}, volume 5823 of {\em Lecture
  Notes in Computer Science}. Springer, 2009.

\end{thebibliography}
