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

Filter your results

5 results
Deposit type : Fulltext
labStructName_s : Department of Computer Science [Aalborg]
labStructName_s : Laboratoire des Sciences du Numérique de Nantes
Image document

CyclAir: A Bike Mounted Prototype for Real-Time Visualization of CO$_2$2 Levels While Cycling

Eike Schneiders , Mikael B. Skov
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.678-687, ⟨10.1007/978-3-030-29384-0_40⟩
Conference papers hal-02544596v1
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