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 (Web Service Description Language) \cite{WebServ2002}, that simplifies
-client development for languages that support it (and most popular programming languages do).
+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
