X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=arch.communication.tex;h=d48079786149941b490cf0911e7f23f62147f15f;hb=4f4b21c04bc99e4e7d55a1dcbedbd371d97b2a05;hp=2472ab7b9fe0fb99456c915d62789cf4dabdc5ab;hpb=432d1916fb34e42708252c601d77af05842eb1d9;p=msc-thesis1617.git diff --git a/arch.communication.tex b/arch.communication.tex index 2472ab7..d480797 100644 --- a/arch.communication.tex +++ b/arch.communication.tex @@ -189,14 +189,14 @@ interface is shown in Figure~\ref{lst:manage}. The left sidebar of the interface shows the list of example \glspl{Task} that are present in the system. When clicking a \gls{Task}, a dialog opens in which a device can be selected to send the \gls{Task} to. The dialog might contain user specified -variables. All example \gls{mTask}-\glspl{Task} are of the type \CI{Task (Main -(ByteCode () Stmt))} and can thus ask for user input first if needed for -parameterized \gls{mTask}-\glspl{Task}. The bottom panel shows the device -information. In this panel, the devices can be created and modified. Moreover, -this panel allows the user to reconnect with a device after a restart of the -server application. - -\begin{figure}[H] +variables. All example \gls{mTask}-\glspl{Task} are of the type +\CI{Task (Main (ByteCode () Stmt))} and can thus ask for user input first if +needed for parameterized \gls{mTask}-\glspl{Task}. The bottom panel shows the +device information. In this panel, the devices can be created and modified. +Moreover, this panel allows the user to reconnect with a device after a restart +of the server application. + +\begin{figure}[ht] \centering \includegraphics[width=\linewidth]{manage} \caption{The device management interface}\label{lst:manage}