Filter your results
- 14
- 14
- 14
- 1
- 1
- 4
- 2
- 1
- 1
- 2
- 1
- 1
- 14
- 6
- 5
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
14 results
|
|
|
sorted by
|
|
|
Synchronous Interface Theories and Time Triggered Scheduling14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.203-218, ⟨10.1007/978-3-642-30793-5_13⟩
Conference papers
hal-01087992v1
|
||
|
|
Q-routing: from the algorithm to the routing protocolSecond IFIP International Conference on Machine Learning for Networking, Dec 2019, Paris, France. ⟨10.1007/978-3-030-45778-5_5⟩
Conference papers
hal-02521783v1
|
||
|
|
Parametric updates in parametric timed automata39th 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
|
||
|
|
Developing a Conceptual Framework for Software Evolution Methods via Architectural Metrics6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.140-149, ⟨10.1007/978-3-319-89743-1_13⟩
Conference papers
hal-01913868v1
|
||
|
|
Network Traffic Classification Using Machine Learning for Software Defined Networks2nd 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
|
||
|
|
MLP4NIDS: An Efficient MLP-Based Network Intrusion Detection for CICIDS2017 Dataset2nd International Conference on Machine Learning for Networking (MLN), Dec 2019, Paris, France. pp.240-254, ⟨10.1007/978-3-030-45778-5_16⟩
Conference papers
hal-03266466v1
|
||
|
|
Solving an Integration Process Planning and Scheduling in a Flexible Job Shop Using a Hybrid Approach6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.387-398, ⟨10.1007/978-3-319-89743-1_34⟩
Conference papers
hal-01913923v1
|
||
|
|
Bringing Complex Event Processing into Multitree Modelling of Sensors16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Crete, Greece. pp.196-210, ⟨10.1007/978-3-319-39577-7_16⟩
Conference papers
hal-01434795v1
|
||
|
|
Kalimucho: Contextual Deployment for QoS Management11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.43-56, ⟨10.1007/978-3-642-21387-8_4⟩
Conference papers
hal-00596372v1
|
||
|
|
A Model for a Multi-level Disassembly System Under Random Disassembly Lead TimesAPMS 2021: IFIP International Conference on Advances in Production Management Systems, IFIP WG 5.7 International Conference, Sep 2021, Nantes, France. pp.39-47, ⟨10.1007/978-3-030-85874-2_5⟩
Conference papers
hal-03852879v1
|
||
|
|
A Reconfiguration Language for Virtualized Grid Infrastructures10th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) / Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.42-55, ⟨10.1007/978-3-642-13645-0_4⟩
Conference papers
hal-00474647v2
|
||
|
|
Assessing the Impact of Automatic vs. Controlled Rotations on Spatial Transfer with a Joystick and a Walking Interface in VR14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.1-18, ⟨10.1007/978-3-642-40483-2_1⟩
Conference papers
hal-00804266v3
|
||
|
|
Parametric Statistical Model Checking of UAV Flight Plan39th 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
|
||
|
|
Synchronization of Multiple Autonomic Control Loops: Application to Cloud Computing14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.29-43, ⟨10.1007/978-3-642-30829-1_3⟩
Conference papers
hal-00682914v1
|