Le moteur de recherche
des thèses françaises
Mohamed Ahmed-Nacer
IdRefMots clés
FR |
EN
Mise à jour dynamique des programmes
Méthodes formelles
Java Card
Correction de la mise à jour dynamique des programmes
Systèmes embarqués (informatique)
Fichiers (informatique) -- Traitement
Méthodes formelles (informatique)
Java Card (système d'exploitation des ordinateurs)
Coopération B2B
Coopération entre entreprises
SOA
Flux de travail
Réseaux de capteurs sans fil
Routage temps-réel
Qualité de service
Tolérance aux vides
Routage prenant en compte l\'énergie
Fonctions adaptatives
Réseaux de capteurs (technologie)
Temps réel (informatique)