Université Constantine2 - Faculté NTIC - Salle de soutenance
الكلمات المفتاحية : Internet of Things, Cloud computing, Context-aware computer, Diagnostic, Self-healing, Quality of Context, Formal validation of distributed systems, Delegation and migration mechanisms