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

Filter your results

24 results
Page :
sorted by
Image document

Solving an Integration Process Planning and Scheduling in a Flexible Job Shop Using a Hybrid Approach

 Nassima Keddari , Nasser Mebarki , Atif Shahzad , Zaki Sari
6th 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
Image document

Bringing Complex Event Processing into Multitree Modelling of Sensors

 Alexandre Garnier , Jean-Marc Menaud , Nicolas Montavont
16th 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
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
Image document

Towards a Context-Aware Security and Privacy as a Service in the Internet of Things

 Tidiane Sylla , Mohamed Aymen Chalouf , Francine Krief , Karim Samaké
13th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2019, Paris, France. pp.240-252, ⟨10.1007/978-3-030-41702-4_15⟩
Conference papers hal-02496273v1
Image document

Towards a communication system for people with athetoid cerebral palsy

 Yohan Guerrier , Christophe Kolski , Franck Poirier
International Conference on Human-Computer Interaction - Interact 2013, Sep 2013, Cap Town, South Africa. 8 p
Conference papers hal-00826041v1
Image document

Filament: A Cohort Construction Service for Decentralized Collaborative Editing Platforms

 Resmi Ariyattu , François Taïani
17th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2017, Neuchâtel, Switzerland. pp.146-16, ⟨10.1007/978-3-319-59665-5_11⟩
Conference papers hal-01617214v1
Image document

Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed Programs

 The Anh Pham , Thierry Jéron , Martin Quinson
FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2019, Copenhagen, Denmark. pp.224-241, ⟨10.1007/978-3-030-21759-4_13⟩
Conference papers hal-02109769v1
Image document

SpecK: Composition of Stream Processing Applications over Fog Environments

 Davaadorj Battulga , Daniele Miorandi , Cédric Tedeschi
DAIS 2021 - 21st International Conference on Distributed Applications and Interoperable Systems, Jun 2021, Valetta, Malta. pp.38-54, ⟨10.1007/978-3-030-78198-9_3⟩
Conference papers hal-03259975v1
Image document

Scalable Anti-KNN: Decentralized Computation of k-Furthest-Neighbor Graphs with HyFN

 Simon Bouget , Yérom-David Bromberg , François Taïani , Anthony Ventresque
17th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2017, Neuchâtel, Switzerland. pp.101-114, ⟨10.1007/978-3-319-59665-5_7⟩
Conference papers hal-01617211v1
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

Network Functions Virtualization Access Control as a Service

 Manel Smine , David Espes , Nora Cuppens-Boulahia , Frédéric Cuppens
34th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jun 2020, Regensburg, Germany. pp.100-117, ⟨10.1007/978-3-030-49669-2_6⟩
Conference papers hal-03243624v1
Image document

A Timed Component Algebra for Services

 Benoît Delahaye , José Luiz Fiadeiro , Axel Legay , Antónia Lopes
15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.242-257, ⟨10.1007/978-3-642-38592-6_17⟩
Conference papers hal-01515250v1
Image document

Fluidify: Decentralized Overlay Deployment in a Multi-cloud World

 Ariyattu C. Resmi , François Taïani
15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2015, Grenoble, France. pp.1-15, ⟨10.1007/978-3-319-19129-4_1⟩
Conference papers hal-01775032v1
Image document

JACPoL: A Simple but Expressive JSON-based Access Control Policy Language

 Hao Jiang , Ahmed Bouabdallah
WISTP 2017 : 11th IFIP International Conference on Information Security Theory and Practice, Sep 2017, Heraklion, Crete, Greece. pp.56-72, ⟨10.1007/978-3-319-93524-9_4⟩
Conference papers hal-01802720v1
Image document

Adaptive Guard Time for Energy-Efficient IEEE 802.15.4 TSCH Networks

 Alexandros Mavromatis , Georgios Papadopoulos , Atis Elsts , Nicolas Montavont , Robert Piechocki , et al.
17th International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2019, Bologna, Italy. pp.66-77, ⟨10.1007/978-3-030-30523-9_2⟩
Conference papers hal-02458546v1
Image document

DroidAutoML: A Microservice Architecture to Automate the Evaluation of Android Machine Learning Detection Systems

 Yérom-David Bromberg , Louison Gitzinger
DAIS - 20th IFIP International Conference on Distributed Applications and Interoperable Systems, Jun 2020, Valletta, Malta. pp.148-165, ⟨10.1007/978-3-030-50323-9_10⟩
Conference papers hal-03223251v1

Middleware 2011

 Fabio Kon , Anne-Marie Kermarrec
Springer, LNCS-7049, 2011, Lecture Notes in Computer Science, 978-3-642-25820-6. ⟨10.1007/978-3-642-25821-3⟩
Books hal-01597753v1
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

A Model for a Multi-level Disassembly System Under Random Disassembly Lead Times

 Ilhem Slama , Oussama Ben-Ammar , Alexandre Dolgui
APMS 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
Image document

How TrustZone Could Be Bypassed: Side-Channel Attacks on a Modern System-on-Chip

 Sebanjila Kevin Bukasa , Ronan Lashermes , Hélène Le Bouder , Jean-Louis Lanet , Axel Legay
11th IFIP International Conference on Information Security Theory and Practice (WISTP), Sep 2017, Heraklion, Greece. pp.93-109, ⟨10.1007/978-3-319-93524-9_6⟩
Conference papers hal-01875521v1
Image document

Managing Execution Environment Variability during Software Testing: An Industrial Experience

 Aymeric Hervieu , Benoit Baudry , Arnaud Gotlieb
24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.24-38, ⟨10.1007/978-3-642-34691-0_4⟩
Conference papers hal-01482409v1
Image document

Probabilistic Event Graph to Model Safety and Security for Diagnosis Purposes

 Edwin Bourget , Frédéric Cuppens , Nora Cuppens-Bouhlahia , Samuel Dubus , Simon Foley , et al.
32th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2018, Bergamo, Italy. pp.38-47, ⟨10.1007/978-3-319-95729-6_3⟩
Conference papers hal-01954422v1
Image document

Firewall Policies Provisioning Through SDN in the Cloud

 Nora Cuppens , Salaheddine Zerkane , Yanhuang Li , David Espes , Philippe Le Parc , et al.
31th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC), Jul 2017, Philadelphia, PA, United States. pp.293-310, ⟨10.1007/978-3-319-61176-1_16⟩
Conference papers hal-01684362v1
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
Page :