Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Dernière révision Les deux révisions suivantes
research:start [2012/11/20 16:22]
ecoquery [Software]
research:start [2012/11/27 11:28]
ecoquery [Topics]
Ligne 6: Ligne 6:
 ===== Topics ===== ===== Topics =====
   * Security Policies (languages, inference).   * Security Policies (languages, inference).
-  * Declarative approaches for interesting pattern enumeration [[http://liris.cnrs.fr/dag|DAG project]]. [[http://liris.cnrs.fr/wdpm2012|WDPM@ICDM2012 Workshop]].+  * Declarative approaches for interesting pattern enumeration [[http://liris.cnrs.fr/dag|DAG project]]. 
   * Web services (specification, composition), [[http://www.compas-ict.eu/|COMPAS project]], ANR JCJC servicemosaic project.   * Web services (specification, composition), [[http://www.compas-ict.eu/|COMPAS project]], ANR JCJC servicemosaic project.
   * Constraint programming, constraint languages, constraint based verification.   * Constraint programming, constraint languages, constraint based verification.