% -*-latex-*-
% $Log: cover.tex,v $
% Revision 1.6  1999/10/21 14:49:31  boojum
% changed comment referring to documentstyle
%
% Revision 1.5  1999/10/21 14:39:04  boojum
% *** empty log message ***
%
% Revision 1.4  1997/04/18  17:54:10  othomas
% added page numbers on abstract and cover, and made 1 abstract
% page the default rather than 2.  (anne hunter tells me this
% is the new institute standard.)
%
% Revision 1.4  1997/04/18  17:54:10  othomas
% added page numbers on abstract and cover, and made 1 abstract
% page the default rather than 2.  (anne hunter tells me this
% is the new institute standard.)
%
% Revision 1.3  93/05/17  17:06:29  starflt
% Added acknowledgements section (suggested by tompalka)
% 
% Revision 1.2  92/04/22  13:13:13  epeisach
% Fixes for 1991 course 6 requirements
% Phrase "and to grant others the right to do so" has been added to 
% permission clause
% Second copy of abstract is not counted as separate pages so numbering works
% out
% 
% Revision 1.1  92/04/22  13:08:20  epeisach
\title{Constructing Provenance-Aware Distributed Systems with Data Propagation}

\author{Ian Campbell Jacobi}
\department{Department of Electrical Engineering and Computer Science}
% If the thesis is for two degrees simultaneously, list them both
% separated by \and like this:
% \degree{Doctor of Philosophy \and Master of Science}
\degree{Master of Science in Computer Science and Engineering}
\degreemonth{June}
\degreeyear{2010}
\thesisdate{May 18, 2010}

%% By default, the thesis will be copyrighted to MIT.  If you need to copyright
%% the thesis to yourself, just specify the `vi' documentclass option.  If for
%% some reason you want to exactly specify the copyright notice text, you can
%% use the \copyrightnoticetext command.  
%\copyrightnoticetext{\copyright IBM, 1990.  Do not open till Xmas.}

% If there is more than one supervisor, use the \supervisor command
% once for each.
\supervisor{Gerald Jay Sussman}{Professor of Electrical Engineering}

% This is the department committee chairman, not the thesis committee
% chairman.  You should replace this with your Department's Committee
% Chairman.
\chairman{Professor Terry P. Orlando}{Chair, Department Committee on Graduate Students}

% Make the titlepage based on the above information.  If you need
% something special and can't use the standard form, you can specify
% the exact text of the titlepage yourself.  Put it in a titlepage
% environment and leave blank lines where you want vertical space.
% The spaces will be adjusted to fill the entire page.  The dotted
% lines for the signatures are made with the \signature command.
\maketitle

% The abstractpage environment sets up everything on the page except
% the text itself.  The title and other header material are put at the
% top of the page, and the supervisors are listed at the bottom.  A
% new page is begun both before and after.  Of course, an abstract may
% be more than one page itself.  If you need more control over the
% format of the page, you can use the abstract environment, which puts
% the word "Abstract" at the beginning and single spaces its text.

%% You can either \input (*not* \include) your abstract file, or you can put
%% the text of the abstract directly between the \begin{abstractpage} and
%% \end{abstractpage} commands.

% First copy: start a new page, and save the page number.
\newpage
% Uncomment the next line if you do NOT want a page number on your
% abstract and acknowledgments pages.
% \pagestyle{empty}
\setcounter{savepage}{\thepage}
\begin{abstractpage}
\input{abstract}
\end{abstractpage}

% Additional copy: start a new page, and reset the page number.  This way,
% the second copy of the abstract is not counted as separate pages.
% Uncomment the next 6 lines if you need two copies of the abstract
% page.
% \setcounter{page}{\thesavepage}
% \begin{abstractpage}
% \input{abstract}
% \end{abstractpage}

\newpage

\section*{Acknowledgments}

\begin{singlespace}
I would like to acknowledge and thank the following individuals for
their assistance throughout the development of the work presented in
this paper:

My thesis supervisor, Gerry Sussman, for having introduced me to
Alexey Radul's work on propagator networks and advising me throughout
the past two years as I have developed this work.

Alexey Radul for developing the concept of propagator networks and
offering significant assistance and criticism of my proposed
distributed propagator mechanism.

My advisor, Hal Abelson, for providing feedback during the early
stages of this work and helping me to refine its goals.

Mike Speciner for helping to proofread the paper and finding several
mathematical issues with my description of provenance.

Tim Berners-Lee for his criticisms of my use and implementation of
REST within distributed propagation.

Joe Pato of HP Labs for contributing to my understanding of
computational provenance and its use-cases.

Lalana Kagal for her continued assistance and support of my work, and
helping to place it within the context of accountability and
reasoning.

My lab-mates and other members of the Decentralized Information Group
not named above for offering their assistance, criticisms, feedback,
and proofreading skills as this project has slowly developed over the
past two years.

Finally, I would like to acknowledge that funding for this work was
provided by the National Science Foundation Cybertrust Grant award
number 04281 and by IARPA Grant FA8750-07-2-0031.
\end{singlespace}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% -*-latex-*-
