From 1eccab3aaa28029ae41a0d32c544a9c534982c7a Mon Sep 17 00:00:00 2001 From: Geoffrey Challen Date: Mon, 22 Dec 2014 10:56:05 -0500 Subject: [PATCH] New. --- maybe.tex | 17 ++++++++++------- 1 file changed, 10 insertions(+), 7 deletions(-) diff --git a/maybe.tex b/maybe.tex index b74dd9b..f0f6024 100644 --- a/maybe.tex +++ b/maybe.tex @@ -4,13 +4,8 @@ To begin, we provide a brief overview of the semantics of the \texttt{maybe} statement, describing how it can express structured uncertainty in variable values and runtime execution. We refer to each of the values a \texttt{maybe} -variable can take and each of the a paths a \texttt{maybe} code block can -execute as an \textit{alternative}. - -Note that structured uncertainty is not randomness. The \texttt{maybe} -statement indicates that during any given execution one alternative may be -better than the others---even if the developer or system are not sure which -alternative to use. +variable can take or paths a \texttt{maybe} code block can execute as an +\textit{alternative}. \begin{figure}[t] \begin{minted}[fontsize=\footnotesize]{java} @@ -132,3 +127,11 @@ one app shares the same objectives as others---say, to minimize latency---a service should be performing adaptation on behalf of all apps using the merged network interfaces, possibly through the use of its own internal \texttt{maybe} statements. + +\subsection{Other Approaches to Adaptation} + +Note that structured uncertainty is not randomness. The \texttt{maybe} +statement indicates that during any given execution one alternative may be +better than the others---even if the developer or system are not sure which +alternative to use. + -- libgit2 0.22.2