Search - IFIP Open Digital Library Access content directly

Filter your results

37 results
Page :
sorted by
Image document

Secure and Trustable Distributed Aggregation based on Kademlia

 Stéphane Grumbach , Robert Riemann
32th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC), May 2017, Rome, Italy. pp.171-185, ⟨10.1007/978-3-319-58469-0_12⟩
Conference papers hal-01529326v2
Image document

Green IT for Innovation and Innovation for Green IT: The virtuous circle

 Christina Herzog , Laurent Lefevre , Jean-Marc Pierson
10th International Conference on Human Choice and Computers (HCC), Sep 2012, Amsterdam, Netherlands. pp.79-89, ⟨10.1007/978-3-642-33332-3_8⟩
Conference papers hal-00766806v1
Image document

Analysis of Privacy Policies to Enhance Informed Consent

 Raúl Pardo , Daniel Le Métayer
DBSEC 2019 - 33rd Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy, Jul 2019, Charleston, SC, United States. pp.177-198, ⟨10.1007/978-3-030-22479-0_10⟩
Conference papers hal-02384593v1
Image document

Combining Ontology Alignment with Model Driven Engineering Techniques for Home Devices Interoperability

 Charbel El Kaed , Yves Denneulin , François-Gaël Ottogalli , Luis Felipe Melo Mora
Software Technologies for Embedded and Ubiquitous Systems, 2010, Waidhofen/Ybbs, Austria. pp.71-82, ⟨10.1007/978-3-642-16256-5_9⟩
Conference papers hal-00788859v1
Image document

A Reversible Abstract Machine and Its Space Overhead

 Michael Lienhardt , Ivan Lanese , Claudio Antares Mezzina , Jean-Bernard Stefani
14th 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.1-17, ⟨10.1007/978-3-642-30793-5_1⟩
Conference papers hal-00909384v1
Image document

Refined Mean Field Analysis: The Gossip Shuffle Protocol Revisited

 Nicolas Gast , Diego Latella , Mieke Massink
COORDINATION 2020 - 22nd IFIP WG 6.1 International Conference on Coordination Languages and Models, Jun 2020, Valletta, Malta. pp.230-239, ⟨10.1007/978-3-030-50029-0_15⟩
Conference papers hal-03273995v1
Image document

Development Tools for Rule-Based Coordination Programming in LINC

 Maxime Louvel , François Pacull , Eric Rutten , Adja Ndeye Sylla
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.78-96, ⟨10.1007/978-3-319-59746-1_5⟩
Conference papers cea-01531019v1
Image document

Using SensLAB as a First Class Scientific Tool for Large Scale Wireless Sensor Network Experiments

 Clément Burin Des Roziers , Guillaume Chelius , Tony Ducrocq , Eric Fleury , Antoine Fraboulet , et al.
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.147-159, ⟨10.1007/978-3-642-20757-0_12⟩
Conference papers hal-01583404v1
Image document

A Survey of Alerting Websites: Risks and Solutions

 Amrit Kumar , Cédric Lauradoux
IFIP SEC, May 2015, Hamburg, Germany. pp.126-141, ⟨10.1007/978-3-319-18467-8_9⟩
Conference papers hal-01199703v1
Image document

Formal Verification of Distributed Branching Multiway Synchronization Protocols

 Hugues Evrard , Frédéric Lang
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.146-160
Conference papers hal-00818788v1
Image document

Rialto 2.0: A Language for Heterogeneous Computations

 Johan Lilius , Andreas Dahlin , Lionel Morel
Distributed, Parallel and Biologically Inspired Systems, Sep 2010, Brisbane, Australia. pp.7-18, ⟨10.1007/978-3-642-15234-4_3⟩
Conference papers hal-00521339v1
Image document

Automated Transition Coverage in Behavioural Conformance Testing

 Lina Marsso , Radu Mateescu , Wendelin Serwe
ICTSS 2020 - 32nd IFIP International Conference on Testing Software and Systems, Dec 2020, Napoli, Italy. pp.219-235, ⟨10.1007/978-3-030-64881-7_14⟩
Conference papers hal-03038050v1
Image document

Investigating The Role Of Mutual Cognitive Environment For End-User Programming

 Rémi Barraquand , Patrick Reignier
6th IFIP International Conference on Artificial Intelligence Applications and Innovations, 2010, Lacarna, Cyprus. pp.352-359, ⟨10.1007/978-3-642-16239-8_46⟩
Conference papers hal-00953489v1
Image document

GREP: Games for the Runtime Enforcement of Properties

 Matthieu Renard , Antoine Rollet , Yliès Falcone
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.259-275, ⟨10.1007/978-3-319-67549-7_16⟩
Conference papers hal-01678960v1
Image document

Verification of Smart Contract Business Logic

 Wolfgang Ahrendt , Richard Bubel , Joshua Ellul , Gordon J. Pace , Raúl Pardo , et al.
8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.228-243, ⟨10.1007/978-3-030-31517-7_16⟩
Conference papers hal-03769118v1
Image document

Distributed Random Process for a Large-Scale Peer-to-Peer Lottery

 Stéphane Grumbach , Robert Riemann
17th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2017, Neuchâtel, Switzerland. pp.34-48, ⟨10.1007/978-3-319-59665-5_3⟩
Conference papers hal-01583824v1
Image document

Verification of concurrent design patterns with data

 Simon Bliudze , Ludovic Henrio , Eric Madelaine
COORDINATION 2019 - 21st International Conference on Coordination Models and Languages, Jun 2019, Kongens Lyngby, Denmark. pp.161-181, ⟨10.1007/978-3-030-22397-7_10⟩
Conference papers hal-02143782v1
Image document

Coordination of ECA Rules by Verification and Control

 Julio Cano , Gwenaël Delaval , Eric Rutten
COORDINATION 2014 - 16th International Conference on Coordination Models and Languages, Jun 2014, Berlin, Germany. pp.33-48, ⟨10.1007/978-3-662-43376-8_3⟩
Conference papers hal-01290066v1
Image document

Combining SLiVER with CADP to Analyze Multi-agent Systems

 Luca Di Stefano , Frédéric Lang , Wendelin Serwe
COORDINATION 2020 - 22nd IFIP WG 6.1 International Conference on Coordination Models and Languages, Jun 2020, La Valetta, Malta. pp.370-385, ⟨10.1007/978-3-030-50029-0_23⟩
Conference papers hal-02890401v1
Image document

Simple Isolation for an Actor Abstract Machine

 Benoit Claudel , Quentin Sabah , Jean-Bernard Stefani
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.213-227, ⟨10.1007/978-3-319-19195-9_14⟩
Conference papers hal-01767336v1
Image document

Learning User Preferences in Ubiquitous Systems: A User Study and a Reinforcement Learning Approach

 Sofia Zaidenberg , Patrick Reignier , Nadine Mandran
Artificial Intelligence Applications and Innovations, Harris Papadopoulos and Andreas S. Andreou and Max Bramer, Oct 2010, Larnaca, Cyprus. pp.336-343, ⟨10.1007/978-3-642-16239-8_44⟩
Conference papers hal-00788028v1
Image document

Session-Based Concurrency, Reactively

 Mauricio Cano , Jaime Arias , Jorge A. Pérez
37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.74-91, ⟨10.1007/978-3-319-60225-7_6⟩
Conference papers hal-01566466v1
Image document

Trust Driven Strategies for Privacy by Design

 Thibaud Antignac , Daniel Le Métayer
9th IFIP International Conference on Trust Management (TM), May 2015, Hamburg, Germany. pp.60-75, ⟨10.1007/978-3-319-18491-3_5⟩
Conference papers hal-01262365v1
Image document

Verifying Timed BPMN Processes Using Maude

 Francisco Durán , Gwen Salaün
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.219-236, ⟨10.1007/978-3-319-59746-1_12⟩
Conference papers hal-01538104v1
Image document

A Lot-Sizing Model for Maintenance Planning in a Circular Economy Context

 Ernest Foussard , Marie-Laure Espinouse , Grégory Mounié , Margaux Nattaf
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2021, Nantes, France. pp.673 - 682, ⟨10.1007/978-3-030-85902-2_72⟩
Conference papers hal-03352725v2
Image document

Revisiting Glue Expressiveness in Component-Based Systems

 Cinzia Di Giusto , Jean-Bernard Stefani
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.16-30, ⟨10.1007/978-3-642-21464-6_2⟩
Conference papers hal-01582994v1
Image document

Promise Plus: Flexible Synchronization for Parallel Computations on Arrays

 Amaury Maillé , Ludovic Henrio , Matthieu Moy
FSEN 2021 - 9th IPM International Conference on Fundamentals of Software Engineering, May 2021, Tehran, Iran. pp.1-7, ⟨10.1007/978-3-030-89247-0_13⟩
Conference papers hal-03143269v1
Image document

Delegation of Obligations and Responsibility

 Meriam Ben Ghorbel , Frédéric Cuppens , Nora Cuppens-Boulahia , Daniel Le Métayer , Guillaume Piolle
26th International Information Security Conference (SEC), Jun 2011, Lucerne, Switzerland. pp.197-209, ⟨10.1007/978-3-642-21424-0_16⟩
Conference papers hal-00606018v1
Image document

Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework

 Jean-Bernard Stefani , Martin Vassor
FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.242-260, ⟨10.1007/978-3-030-21759-4_14⟩
Conference papers hal-02313751v1
Image document

Monotonic Prefix Consistency in Distributed Systems

 Alain Girault , Gregor Gössler , Rachid Guerraoui , Jad Hamza , Dragos-Adrian Seredinschi
FORTE 2018 - 38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2018, Madrid, Spain. pp.41-57, ⟨10.1007/978-3-319-92612-4_3⟩
Conference papers hal-01824817v1
Page :