Titre (en)
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Titre (en) » - entrée « protocol »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
protocal < protocol < protocole  Facettes :

List of bibliographic references indexed by protocol

Number of relevant bibliographic references: 155.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000036 (2016-04-25) Anthéa Mayzaud [France] ; Anuj Sehgal [Allemagne] ; Rémi Badonnel [France] ; Isabelle Chrisment [France] ; Jürgen Schönw Lder [Allemagne]Using the RPL Protocol for Supporting Passive Monitoring in the Internet of Things
000303 (2015-09-29) Jannik Dreier [France] ; Jean-Guillaume Dumas [France] ; Pascal Lafourcade [France]Brandt's fully private auction protocol revisited
000365 (2015-08-27) Shuguo Zhuo [France] ; Ye-Qiong Song [France] ; Zhi Wang [République populaire de Chine] ; Zhibo Wang [République populaire de Chine] ; Luís Almeida [Portugal]A Traffic Adaptive Multi-channel MAC Protocol with Dynamic Slot Allocation for WSNs
000398 (2015-08-18) Hoang Bao Thien [France] ; Abdessamad Imine [France]Efficient and Decentralized Polling Protocol for General Social Networks
000522 (2015-05-27) François Despaux [France] ; Ye-Qiong Song [France] ; Abdelkader Lahmadi [France]Extracting Markov Chain Models from Protocol Execution Traces for End to End Delay Evaluation in Wireless Sensor Networks
000732 (2015) Andrés Cord N-Franco [Espagne] ; Hans Van Ditmarsch [France] ; David Fernández Duque [Espagne] ; Fernando Soler-Toscano [Espagne]A geometric protocol for cryptography with cards
000C19 (2014-04-05) Guillaume Aucher [France] ; Bastien Maubert [France] ; Sophie Pinchinat [France]Automata Techniques for Epistemic Protocol Synthesis
000C34 (2014-04) Ghazi Maatoug [France] ; Frédéric Dadeau [France] ; Michael Rusinowitch [France]Model-Based Vulnerability Testing of Payment Protocol Implementations
001106 (2013-07-09) Francois Despaux [France] ; Ye-Qiong Song [France] ; Abdelkader Lahmadi [France]On the Gap Between Mathematical Modeling and Measurement Analysis for Performance Evaluation of the 802.15.4 MAC Protocol
001149 (2013-06-24) Shuguo Zhuo [République populaire de Chine] ; Zhi Wang [République populaire de Chine] ; Ye-Qiong Song [France] ; Zhibo Wang [République populaire de Chine] ; Almeda Luis [Portugal]iQueue-MAC: A Traffic Adaptive duty-cycled MAC Protocol With Dynamic Slot Allocation
001394 (2013) Andrés Cord N-Franco [Espagne] ; Hans Van Ditmarsch [France] ; David Fernández Duque [Espagne] ; Fernando Soler-Toscano [Espagne]A colouring protocol for the generalized Russian cards problem
001799 (2012-12-15) Hatem Ghabri ; Ghazi Maatoug [France] ; Michael Rusinowitch [France]Compiling symbolic attacks to protocol implementation tests
001B29 (2012-05-21) Shuguo Zhuo [République populaire de Chine] ; Ye-Qiong Song [France] ; Zhi Wang [République populaire de Chine] ; Zhibo Wang [République populaire de Chine]Queue-MAC: A queue-length aware hybrid CSMA/TDMA MAC protocol for providing dynamic adaptation to traffic and duty-cycle variation in wireless sensor networks
001C01 (2012-03-24) Véronique Cortier [France] ; Cyrille Wiedling [France]A formal analysis of the Norwegian E-voting protocol
001F87 (2011-11-28) César Bernardini [France] ; Abdelkader Lahmadi [France] ; Olivier Festor [France]Development of a fuzzing tool for the 6LoWPAN protocol
002026 (2011-11-01) Véronique Cortier [France] ; Cyrille Wiedling [France]A formal analysis of the Norwegian e-voting protocol
002067 (2011-10-10) Dominique Méry [France] ; Neeraj Kumar Singh [France]Analysis of DSR Protocol in Event-B
002165 (2011-08-29) Dominique Méry [France] ; Neeraj Kumar Singh [France]Medical Protocol Diagnosis using Formal Methods
002327 (2011-06) Stephan Merz [France] ; Tianxiang Lu [Allemagne] ; Christoph Weidenbach [Allemagne]Towards Verification of the Pastry Protocol using TLA+
002392 (2011-04-06) Hugo Cruz Sanchez [France] ; Shahram Nourizadeh [France] ; Ye-Qiong Song [France]MPIGate : Multi Protocol Interface and Gateway
002618 (2011) Tianxiang Lu [Allemagne, France] ; Stephan Merz [France] ; Christoph Weidenbach [Allemagne]Towards Verification of the Pastry Protocol Using TLA + 

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i -k "protocol" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "protocol" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Title.i
   |clé=    protocol
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022