Add to ORKGNous présentons une méthode de preuve qui permet de montrer la terminaison en temps moyen fini d'un algorithme probabiliste et distribué utilisé par le protocole WI-FI 802.11b
Qualité de service dans l'Internet -- Historique du réseau Internet -- Émergence de la qualité de se...
Il est pratiquement impossible de nommer toutes les sphères de la société profondément modifiées par...
Depuis la création de la norme 802.11 en 1999 qui était exceptionnelle à l époque, les réseaux locau...
In a recent work, we introduced the notion of probabilistic rewrite system, and we proposed techniqu...
In this thesis we define a new formalism that allows to model transition systems where transitions c...
Nous avons dans cette thèse cherché à définir un formalisme simple pour pouvoir modéliser des systèm...
National audienceDans cet article, nous nous intéressons à des techniques d'inférence du temps d'occ...
Abstract. The international standard IEEE 802.11 was developed re-cently in recognition of the incre...
The IEEE 802.11 protocol is a popular standard for wireless local area networks. Its medium access c...
Le protocole IEEE 802.11, basé sur les principes CMSA/CA, est largement déployé dans les communicati...
International audienceThis is a PDF file of an article that has undergone enhancements after accepta...
Probabilistic model checking is a formal verification technique for the analysis of systems that exh...
In this paper we present an analysis of a MAC (Medium Access Control) protocol for wireless sensor n...
La contribution de cette thèse s'organise selon trois axes. Tout d'abord, celle-ci propose une appro...
For commercial availability reasons, most actual multi-hops ad-hoc simulations and test-beds are bas...
Qualité de service dans l'Internet -- Historique du réseau Internet -- Émergence de la qualité de se...
Il est pratiquement impossible de nommer toutes les sphères de la société profondément modifiées par...
Depuis la création de la norme 802.11 en 1999 qui était exceptionnelle à l époque, les réseaux locau...
In a recent work, we introduced the notion of probabilistic rewrite system, and we proposed techniqu...
In this thesis we define a new formalism that allows to model transition systems where transitions c...
Nous avons dans cette thèse cherché à définir un formalisme simple pour pouvoir modéliser des systèm...
National audienceDans cet article, nous nous intéressons à des techniques d'inférence du temps d'occ...
Abstract. The international standard IEEE 802.11 was developed re-cently in recognition of the incre...
The IEEE 802.11 protocol is a popular standard for wireless local area networks. Its medium access c...
Le protocole IEEE 802.11, basé sur les principes CMSA/CA, est largement déployé dans les communicati...
International audienceThis is a PDF file of an article that has undergone enhancements after accepta...
Probabilistic model checking is a formal verification technique for the analysis of systems that exh...
In this paper we present an analysis of a MAC (Medium Access Control) protocol for wireless sensor n...
La contribution de cette thèse s'organise selon trois axes. Tout d'abord, celle-ci propose une appro...
For commercial availability reasons, most actual multi-hops ad-hoc simulations and test-beds are bas...
Qualité de service dans l'Internet -- Historique du réseau Internet -- Émergence de la qualité de se...
Il est pratiquement impossible de nommer toutes les sphères de la société profondément modifiées par...
Depuis la création de la norme 802.11 en 1999 qui était exceptionnelle à l époque, les réseaux locau...