L'Agence nationale de la recherche Des projets pour la science

Translate this page in english

Effectuer une recherche dans les résumés des projets financés :

 

RNTL Réseau National en Technologies Logicielles - 2005

APE – Applications Parallèles pour l'Embarqué

ATASH – Apprentissage Automatique de Transformations de documents semi structurés hétérogènes : Mise en correspondance de documents et conversion de documents

AVERILES – Analyse et vérification de logiciels embarqués avec structures de mémoire dynamique

C6E2 SIMPA2 – SIMulation pour le Procédé et l'Automatique 2

CAT – Analyse de programmes C critiques embarqués (C Analysis Toolbox)

DECIDE – L?objectif du projet est d?explorer l?application de techniques de vérification de programme de type « software model checking » à la vérification automatique de règles métier

DIGITABLE – Table Interactive de Collaboration

EDEN2 – Boîte d'outils industrielle pour l'évaluation sécuritaire de composants de systèmes embarqués aux plus hauts niveaux des Critères Communs 3.0

EIFFEL – eTourisme et Web Sémantique

EWOK HUB – Environnemental Web Ontology Knowledge HUB

FAROS – Composition de contrats pour la Fiabilité d'ARchitectures Orientées Services

GALOGIC – Génération automatique de Logiciels controlés

JONES – Canevas logiciel permettant la création de bus de services d'entreprise ("Enterprise Service Bus", ESB), sur la base de la JSR208 "Java Business Integration".

LIRENET – SYSTEME DE RECHERCHE ET DE LECTURE ENCYCLOPEDIQUE SUR LE WEB INTEGRANT UNE INTERFACE EN LANGAGE NATUREL POUR TRAITER LES QUESTIONS FACTUELLES (Qui? Quoi? Quand? Où?) et NON-FACTUELLES (Comment? Pourquoi?) EN S'APPUYANT SUR UN SYSTEME DE CATEGORISATION MUL

MEMVATEX – Méthode de Modelisation pour la validation et la tracabilité des exigences. Cette méthode s'appuie sur la base de modélisation dans des environnements hétérogènes dans un environnement temps-réel.

MESURE – MESURE DE PERFORMANCES ET CARACTERISTIQUES DE PLATES-FORMES EMBARQUEES JAVA- CARD

OMD – Optimisation MultiDisciplinaire

OPENEMBEDD – Une plateforme open-source pour mettre l'ingénierie dirigée par les modèles au service du développement des applications temps-réel embarquées

OPENVIBE – Open-ViBE : Un Environnement Logiciel Open-Source pour les Interfaces Cerveau-Machine

PERF – L'Humain Virtuel au Travail dans l'Usine du Futur

PLAYA – Promovoir la simulation des contrôles non-destructifs par courants de Foucault (Eddy-Current)

POSE – Test de conformité de POlitiques de SEcurité de systèmes enfouis

SCENARI – SCENARIplatform : Système de conception de Chaînes Editoriales pour les contenus Numériques Adaptables Réutilisables et Interactifs

SELFWARE – Déploiement, configuration et administration autonome de systèmes répartis

SEVEN – claSsification Et Visualisation puor l'Exploration et la Navigation

SIMULEM – Simuler les espaces de la mobilité. Projet précompétitif de développement et d'intégration d'un outil dédié de simulation d'agents autonomes interactifs dans un environnement de gare.

SLALOM – Système de capteurs et Logiciel d'Animation permettant L'Observation du Mouvement d'un skieur freestyle

TEXTCOOP – Typologies et grammaires de textes afin de rendre un TEXT plus « COOPératif » en gestion de l?information

THESEE – Analyse statique de logiciels asynchrones de contrôle-commande

VODEL – Valorisation Ontologique des Dictionnaires ELectroniques

WEBCONTENT – webContent: la plateforme de gestion de contenus pour le Web sémantique

Revenir à la page précédente