Computer science, Informatique, Telecommunications, Télécommunications, Sciences exactes et technologie, Exact sciences and technology, Sciences et techniques communes, Sciences and techniques of general use, Mathematiques, Mathematics, Logique mathématique, fondements, théorie des ensembles, Mathematical logic, foundations, set theory, Logique et fondements, Logic and foundations, Théorie de la preuve et mathématiques constructives, Proof theory and constructive mathematics, Sciences appliquees, Applied sciences, Informatique; automatique theorique; systemes, Computer science; control theory; systems, Logiciel, Software, Systèmes informatiques et systèmes répartis. Interface utilisateur, Computer systems and distributed systems. User interface, Performances des systèmes informatiques. Fiabilité, Computer systems performance. Reliability, Agrégation, Aggregation, Agregación, Chaîne Markov, Markov chain, Cadena Markov, Condition stationnaire, Stationary condition, Condición estacionaria, Convergence numérique, Numerical convergence, Convergencia numérica, Fusion donnée, Data fusion, Fusión datos, Méthode formelle, Formal method, Método formal, Réseau ad hoc, Ad hoc network, Red ad hoc, Réseau capteur, Sensor array, Red sensores, Réseau sans fil, Wireless network, Red sin hilo, Sécurité, Safety, Seguridad, Taux convergence, Convergence rate, Relación convergencia, Théorie preuve, Proof theory, Teoría demonstración, Tolérance faute, Fault tolerance, Tolerancia falta, Transmission donnée, Data transmission, Transmisión datos, Valeur d'information, Information value, Valor información, Vérification formelle, Formal verification, Ad hoc Networks, Approximate agreement, and Sensor networks