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

Filter your results

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

A transversal alignment between measurements and enterprise architecture for early verification of telecom service design

Iyas Alloush , Yvon Kermarrec , Siegfried Rouvrais
19th Open European Summer School (EUNICE), Aug 2013, Chemnitz, Germany. pp.245-256, ⟨10.1007/978-3-642-40552-5_22⟩
Conference papers hal-00859979v1
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

Practical and Privacy-Preserving TEE Migration

Ghada Arfaoui , Jean-François Lalande , Saïd Gharout , Jacques Traoré
9th Workshop on Information Security Theory and Practice (WISTP), Aug 2015, Heraklion, Greece. pp.153-168, ⟨10.1007/978-3-319-24018-3_10⟩
Conference papers hal-01183508v1
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

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

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

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

Constraint-Based Oracles for Timed Distributed Systems

Nassim Benharrat , Christophe Gaston , Robert M. Hierons , Arnault Lapitre , Pascale Le Gall
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.276-292, ⟨10.1007/978-3-319-67549-7_17⟩
Conference papers hal-01678964v1
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

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

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

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

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

Conformance Relations for Distributed Testing Based on CSP

Ana Cavalcanti , Marie-Claude Gaudel , Robert M. Hierons
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.48-63, ⟨10.1007/978-3-642-24580-0_5⟩
Conference papers hal-01583923v1
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

Boolean Networks: Beyond Generalized Asynchronicity

Thomas Chatain , Stefan Haar , Loïc Paulevé
AUTOMATA 2018 - 24th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, Jun 2018, Ghent, Belgium. pp.29-42, ⟨10.1007/978-3-319-92675-9_3⟩
Conference papers hal-01768359v2
Image document

Guiding testers' hands in monitoring tools : application of testing approaches on SIP

Xiaoping Che , Huu Nghia Nguyen , Stephane Maag , Fatiha Zaidi
27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.105-123, ⟨10.1007/978-3-319-25945-1_7⟩
Conference papers hal-01263247v1
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

Runtime Code Polymorphism as a Protection Against Side Channel Attacks

Damien Couroussé , Thierno Barry , Bruno Robisson , Philippe Jaillon , Olivier Potin , et al.
10th IFIP International Conference on Information Security Theory and Practice (WISTP), Sep 2016, Heraklion, Greece. pp.136-152, ⟨10.1007/978-3-319-45931-8_9⟩
Conference papers emse-01372223v1
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

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

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

Storytelling in Visual Analytics Tools for Business Intelligence

Micheline Elias , Marie-Aude Aufaure , Anastasia Bezerianos
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.280-297, ⟨10.1007/978-3-642-40477-1_18⟩
Conference papers hal-00817732v2
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

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

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

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

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