controls user access and schedules jobs to workers. It provides a web
interface for managing jobs and users, and a set of web
services. These are user service and worker/warehouse services
-implemented using WSDL \cite{WebServ2002} (DEFINITION).
+implemented using WSDL (Web Service Description Language)
+\cite{WebServ2002}, that simplifies client development for languages
+that support it (and most popular programming languages do).
A worker is a Java daemon that runs on the user machine. Assumed to be
volatile, the workers report periodically themselves to the
