-
Environnement Centré Procédés pour Supporter la Négociation
Rapport interne. -
Modélisation de composants matériels et exécutifs en vue de la validation d'a...
Rapport de contrat. -
Analyse de la messagerie PCCN et éléments de comparaison
Rapport de contrat. -
I know what leaked in your pocket: uncovering privacy leaks on Android Apps w...
Android applications may leak privacy data carelessly or maliciously. In this work we perform inter-component data-flow analysis to detect privacy leaks between... -
Ecoulement de particules dans les enceintes de l'ECS-FEBIAD : étude et optimi...
This dataset has no description
-
Un modèle de prédiction pour la reconnaissance de commandes vocales
Rapport interne. -
Authentification dans IPv6
Rapport interne. -
Analysing Feature Interactions with Automated Deduction Systems
Rapport interne. -
Compiling nondeterministic computations
Rapport interne. -
A semantics and a syntax for ordinal notations and hierarchies
Rapport interne. -
Kolmogorov complexity and non-determinism
Rapport interne. -
La culture architecturale des Français : étude quantitative, III : rapport po...
This dataset has no description
-
FRISCO Tools for the isolation of the Real Roots of dense univariate polynomi...
Rapport de contrat. -
Testing emptyness of Real Hypersurfaces
Rapport de contrat. -
IAM distributed systems: a first analysis of timeliness properties
Rapport de contrat. -
Dealing with numerical imprecision in mathematical programs for Electre Tri m...
In this paper, we are interested in decision problems formulated as multicriteria sorting problems, i.e., when a finite number of alternatives evaluated on a set of...
