Ci-dessous, les différences entre deux révisions de la page.
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:// | + | * Declarative approaches for interesting pattern enumeration [[http:// |
* Web services (specification, | * Web services (specification, | ||
* Constraint programming, | * Constraint programming, |