202 citations · 214 across the 7 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.DC2013
Parallel architectures for fuzzy triadic similarity learning
Sonia Alouane-Ksouri, Minyar Sassi-Hidri, Kamel Barkaoui
In a context of document co-clustering, we define a new similarity measure which iteratively computes similarity while combining fuzzy sets in a three-partite graph. The fuzzy tria…
cs.SE2013
Vérification Formelle des Processus Workflow Collaboratifs
Zohra Sbaï, Kamel Barkaoui
In this paper, we present a method of verification of collaborative workflow processes based on model checking techniques. In particular, we propose to verify soundness properties…