Search - IFIP Open Digital Library Access content directly

Filter your results

59 results
level0_domain_s : Computer Science [cs]
labStructName_s : Institut de Recherche en Informatique et Systèmes Aléatoires
Page :
sorted by
Image document

A Message Service for Opportunistic Computing in Disconnected MANETs

 Abdulkader Benchi , Frédéric Guidec , Pascale Launay
12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.118-131, ⟨10.1007/978-3-642-30823-9_10⟩
Conference papers hal-00763325v1
Image document

On the Interest of Introducing Randomness in Ad-Word Auctions

 Patrick Maillé , Bruno Tuffin
Third IFIP TC6 International Conference on Wireless Communications and Information Technology in Developing Countries (WCITD) / IFIP TC 6 International Network of the Future Conference (NF) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.229-240, ⟨10.1007/978-3-642-15476-8_22⟩
Conference papers hal-00609531v2
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

Privacy-Preserving Reputation Mechanism: A Usable Solution Handling Negative Ratings

 Paul Lajoie-Mazenc , Emmanuelle Anceaume , Gilles Guette , Thomas Sirvent , Valérie Viet Triem Tong
9th IFIP WG 11.11 International Conference, IFIPTM 2015, May 2015, Hambourg, Germany. pp.92-108, ⟨10.1007/978-3-319-18491-3_7⟩
Conference papers hal-01131975v2
Image document

TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs

 Samira Tasharofi , Rajesh K. Karmani , Steven Lauterburg , Axel Legay , Darko Marinov , et al.
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.219-234, ⟨10.1007/978-3-642-30793-5_14⟩
Conference papers hal-01528727v1
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

Linking Telecom Service High-level Abstract Models to Simulators based on Model Transformations: The IMS Case Study

 Iyas Alloush , Vanea Chiprianov , Yvon Kermarrec , Siegfried Rouvrais
18th European Conference on Information and Communications Technologies (EUNICE), Aug 2012, Budapest, Hungary. pp.100-111, ⟨10.1007/978-3-642-32808-4_10⟩
Conference papers hal-00739604v1
Image document

Improving Mozilla's In-App Payment Platform

 Ewa Czeslawa Janczukowicz , Ahmed Bouabdallah , Arnaud Braud , Gaël Fromentoux , Jean-Marie Bonnin
OSS 2014 : 10th IFIP WG 2.13 International Conference on Open Source Systems : Open Source Software: Mobile Open Source Technologies, May 2014, San Jose, Costa Rica. pp.103 - 106, ⟨10.1007/978-3-642-55128-4_13⟩
Conference papers hal-01162737v1
Image document

Specification and Deployment of Integrated Security Policies for Outsourced Data

 Anis Bkakria , Frédéric Cuppens , Nora Cuppens-Bouhlahia , David Gross-Amblard
28th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSec '14), Jul 2014, Vienne, Austria. pp.17 - 32, ⟨10.1007/978-3-662-43936-4_2⟩
Conference papers hal-01087467v1
Image document

Mignon: A Fast Decentralized Content Consumption Estimation in Large-Scale Distributed Systems

 Stéphane Delbruel , Davide Frey , François Taïani
16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Greece. pp.32-46, ⟨10.1007/978-3-319-39577-7_3⟩
Conference papers hal-01301230v1
Image document

Disappointments and Delights, Fears and Hopes induced by a few decades in Performance Evaluation

 Raymond Marie
Performance Evaluation of Computer and Communication Systems (PERFORM), Oct 2010, Vienna, Austria. pp.1-9, ⟨10.1007/978-3-642-25575-5_1⟩
Conference papers hal-00789638v1
Image document

Heterogeneous Resource Selection for Arbitrary HPC Applications in the Cloud

 Anca Iordache , Eliya Buyukkaya , Guillaume Pierre
15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2015, Grenoble, France. pp.108-123, ⟨10.1007/978-3-319-19129-4_9⟩
Conference papers hal-01159024v1
Image document

Behave: Behavioral Cache for Web Content

 Davide Frey , Mathieu Goessens , Anne-Marie Kermarrec
4th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2014, Berlin, Germany. pp.89-103, ⟨10.1007/978-3-662-43352-2_8⟩
Conference papers hal-01079976v1
Image document

Statistical Abstraction and Model-Checking of Large Heterogeneous Systems

 Ananda Basu , Saddek Bensalem , Marius Bozga , Benoît Caillaud , Benoît Delahaye , et al.
Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.32-46, ⟨10.1007/978-3-642-13464-7_4⟩
Conference papers inria-00554321v2
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

Synchronous Interface Theories and Time Triggered Scheduling

 Benot Delahaye , Uli Fahrenberg , Axel Legay , Dejan Ničković
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.203-218, ⟨10.1007/978-3-642-30793-5_13⟩
Conference papers hal-01087992v1
Image document

On the problem of revenue sharing in multi-domain federations

 Isabel Amigo , Pablo Belzarena , Sandrine Vaton
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.252-264, ⟨10.1007/978-3-642-30054-7_20⟩
Conference papers hal-00725646v1
Image document

Extending Signatures of Reputation

 Emmanuelle Anceaume , Gilles Guette , Paul Lajoie-Mazenc , Thomas Sirvent , Valérie Viet Triem Tong
Hansen, M.; Hoepman, J.-H.; Leenes, R.; Whitehouse, D. Privacy and Identity Management for Emerging Services and Technologies : 8th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6 International Summer School, Nijmegen, The Netherlands, June 17-21, 2013, Revised Selected Papers, AICT-421, Springer, pp.165-176, 2014, IFIP Advances in Information and Communication Technology (TUTORIAL), 978-3-642-55136-9. ⟨10.1007/978-3-642-55137-6_13⟩
Book sections hal-00997133v1
Image document

Detection of Side Channel Attacks Based on Data Tainting in Android Systems

 Mariem Graa , Nora Cuppens-Boulahia , Frédéric Cuppens , Jean-Louis Lanet , Routa Moussaileb
SEC 2017 - 32th IFIP International Conference on ICT Systems Security and Privacy Protection, May 2017, Rome, Italy. pp.205-218, ⟨10.1007/978-3-319-58469-0_14⟩
Conference papers hal-01648994v1
Image document

Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler

 Van Chan Ngo , Jean-Pierre Talpin , Thierry Gautier
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.66-80, ⟨10.1007/978-3-319-19195-9_5⟩
Conference papers hal-01767328v1
Image document

Are 128 Bits Long Keys Possible in Watermarking?

 Patrick Bas , Teddy Furon
13th International Conference on Communications and Multimedia Security (CMS), Sep 2012, Canterbury, United Kingdom. pp.191-191, ⟨10.1007/978-3-642-32805-3_15⟩
Conference papers hal-01540890v1
Image document

Dynamics in Delegation and Revocation Schemes: A Logical Approach

 Guillaume Aucher , Steve Barker , Guido Boella , Valerio Genovese , Leendert van Der Torre
23th Data and Applications Security (DBSec), Jul 2011, Richmond, United States. pp.90-105, ⟨10.1007/978-3-642-22348-8_9⟩
Conference papers inria-00593654v2
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

The Gossple Anonymous Social Network

 Marin Bertier , Davide Frey , Rachid Guerraoui , Anne-Marie Kermarrec , Vincent Leroy
ACM/IFIP/USENIX 11th International Middleware Conference (MIDDLEWARE), Nov 2010, Bangalore, India. pp.191-211, ⟨10.1007/978-3-642-16955-7_10⟩
Conference papers inria-00515693v2
Image document

Dissemination of reconfiguration policies on mesh networks

 François Fouquet , Erwan Daubert , Noël Plouzeau , Olivier Barais , Johann Bourcier , et al.
12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.16-30, ⟨10.1007/978-3-642-30823-9_2⟩
Conference papers hal-00688707v1
Image document

Cheap and Cheerful: Trading Speed and Quality for Scalable Social Recommenders

 Anne-Marie Kermarrec , François Taïani , Juan Manuel Tirado Martin
15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), IFIP, Jun 2015, Grenoble, France. pp.138-151, ⟨10.1007/978-3-319-19129-4_11⟩
Conference papers hal-01170757v1
Image document

Similitude: Decentralised Adaptation in Large-Scale P2P Recommenders

 Davide Frey , Anne-Marie Kermarrec , Christopher Maddock , Andreas Mauthe , Pierre-Louis Roman , et al.
15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2015, Grenoble, France. pp.51-65, ⟨10.1007/978-3-319-19129-4_5⟩
Conference papers hal-01138365v2
Image document

Passive Interoperability Testing for Request-Response Protocols: Method, Tool and Application on CoAP Protocol

 Nanxing Chen , César Viho
24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.87-102, ⟨10.1007/978-3-642-34691-0_8⟩
Conference papers hal-01482413v1
Image document

Failure Analysis and Modeling in Large Multi-site Infrastructures

 Tran Ngoc Minh , Guillaume Pierre
13th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.127-140, ⟨10.1007/978-3-642-38541-4_10⟩
Conference papers hal-01489451v1
Page :