Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

4 results
Deposit type : Fulltext
labStructName_s : Laboratoire des Sciences du Numérique de Nantes
Image document

Q-routing: from the algorithm to the routing protocol

Alexis Bitaillou , Benoît Parrein , Guillaume Andrieux
Second IFIP International Conference on Machine Learning for Networking, Dec 2019, Paris, France. ⟨10.1007/978-3-030-45778-5_5⟩
Conference papers hal-02521783v1
Image document

Parametric updates in parametric timed automata

Étienne André , Didier Lime , Mathias Ramparison
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.39-56, ⟨10.1007/978-3-030-21759-4_3⟩
Conference papers hal-02153238v1
Image document

Network Traffic Classification Using Machine Learning for Software Defined Networks

Menuka Perera Jayasuriya Kuranage , Kandaraj Piamrat , Salima Hamma
2nd International Conference on Machine Learning for Networking (MLN), Dec 2019, Paris, France. pp.28-39, ⟨10.1007/978-3-030-45778-5_3⟩
Conference papers hal-03266452v1
Image document

Parametric Statistical Model Checking of UAV Flight Plan

Ran Bao , Christian Attiogbe , Benoit Delahaye , Paulin Fournier , Didier Lime
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.57-74, ⟨10.1007/978-3-030-21759-4_4⟩
Conference papers hal-02313737v1