Search - IFIP Open Digital Library Access content directly

Filter your results

47 results
level0_domain_s : Computer Science [cs]
labStructName_s : Inria Rennes – Bretagne Atlantique
Page :
sorted by
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

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

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

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

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

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

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

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

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

Detecting illegal system calls using a data-oriented detection model

 Jonathan-Christofer Demay , Frédéric Majorczyk , Eric Totel , Frédéric Tronel
26th International Information Security Conference (SEC), Jun 2011, Lucerne, Switzerland. pp.305-316, ⟨10.1007/978-3-642-21424-0_25⟩
Conference papers hal-00657971v1
Image document

Towards Trust-Aware and Self-adaptive Systems

 Francisco Moyano , Benoit Baudry , Javier Lopez
7th Trust Management (TM), Jun 2013, Malaga, Spain. pp.255-262, ⟨10.1007/978-3-642-38323-6_20⟩
Conference papers hal-01468178v1
Image document

LiFTinG: Lightweight Freerider-Tracking Protocol in Gossip

 Rachid Guerraoui , Kévin Huguenin , Anne-Marie Kermarrec , Maxime Monod , Swagatika Prusty
11th ACM/IFIP/USENIX International Middleware Conference (MIDDLEWARE), Nov 2010, Bangalore, India. ⟨10.1007/978-3-642-16955-7_16⟩
Conference papers inria-00505268v1
Image document

Kalimucho: Contextual Deployment for QoS Management

 Christine Louberry , Philippe Roose , Marc Dalmau
11th 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
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

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
Image document

Geographical Location and Load Based Gateway Selection for Optimal Traffic Offload in Mobile Networks

 Tarik Taleb , Yassine Hadjadj-Aoul , Stefan Schmid
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.331-342, ⟨10.1007/978-3-642-20757-0_26⟩
Conference papers hal-00789640v1
Image document

An Efficient and Scalable Intrusion Detection System on Logs of Distributed Applications

 David Lanoe , Michel Hurfin , Eric Totel , Carlos Maziero
SEC 2019 - 34th IFIP International Conference on ICT Systems Security and Privacy Protection, Jun 2019, Lisbonne, Portugal. pp.49-63, ⟨10.1007/978-3-030-22312-0_4⟩
Conference papers hal-02409487v1
Page :