Formalization and taxonomy of compute-aggregate problems for cloud computing applications | Publicación