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

Filter your results

44 results
labStructName_s : Institut de Recherche en Informatique et Systèmes Aléatoires
Page :
sorted by
Image document

Techno-economic comparison of next-generation access networks for the French market

 Konrad Walczyk , Annie Gravey
18th European Conference on Information and Communications Technologies (EUNICE), Aug 2012, Budapest, Hungary. pp.136-147, ⟨10.1007/978-3-642-32808-4_13⟩
Conference papers hal-00737172v1
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

Competition between wireless service providers sharing a radio resource

 Patrick Maillé , Bruno Tuffin , Jean-Marc Vigne
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.355-365, ⟨10.1007/978-3-642-30054-7_28⟩
Conference papers hal-00725181v1
Image document

Reconstruction attack through classifier analysis

 Sébastien Gambs , Ahmed Gmati , Michel Hurfin
26th Conference on Data and Applications Security and Privacy (DBSec), Jul 2012, Paris, France. pp.274-281, ⟨10.1007/978-3-642-31540-4_21⟩
Conference papers hal-00736945v1

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

DynaSoRe: Efficient In-Memory Store for Social Applications

 Xiao Bai , Arnaud Jégou , Flavio P. Junqueira , Vincent Leroy
14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.425-444, ⟨10.1007/978-3-642-45065-5_22⟩
Conference papers hal-00932468v1
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

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

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

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

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

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

Towards Decentralised Workflow Scheduling via a Rule-Driven Shared Space

 Héctor Fernández , Marko Obrovac , Cédric Tedeschi
13th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.187-192, ⟨10.1007/978-3-642-38541-4_16⟩
Conference papers hal-01489457v1
Image document

Quantitative Modal Transition Systems

 Kim G. Larsen , Axel Legay
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.50-58, ⟨10.1007/978-3-642-37635-1_3⟩
Conference papers hal-01485977v1
Page :