version 1.1, 2000/07/22 08:11:09 |
version 1.2, 2000/07/31 07:26:12 |
|
|
% $OpenXM$ |
% $OpenXM: OpenXM/doc/calc2000p/reliable.tex,v 1.1 2000/07/22 08:11:09 noro Exp $ |
\documentclass{slides} |
\documentclass{slides} |
\usepackage{color} |
\usepackage{color} |
\usepackage{rgb} |
\usepackage{rgb} |
%{\color{red} Asir} |
%{\color{red} Asir} |
\begin{document} |
\begin{document} |
\parskip 5pt |
\parskip 5pt |
\fbox{{\huge \color{blue} We Are Reliable}} |
\fbox{{\large \color{blue} Reliable Computation with OpenXM}} |
|
\vskip 3pt |
{\color{red} Compute GB on a client $\Rightarrow$ Verify it on a server} |
{\color{red} Compute GB on a client $\Rightarrow$ Verify it on a server} |
|
|
{\color{red} $\{g_i\}$ is a GB of $\{f_j\}$} |
{\color{red} $\{g_i\}$ is a GB of $\{f_j\}$} |