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

Filter your results

64 results
Page :
sorted by
Image document

User and System Cross-Learning of Gesture Commands on Pen-Based Devices

 Peiyu Li , Manuel Bouillon , Eric Anquetil , Grégoire Richard
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.337-355, ⟨10.1007/978-3-642-40480-1_21⟩
Conference papers hal-00881020v2
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

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

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

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

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

Testing Software and Systems

 Christophe Gaston , Nikolai Kosmatov , Pascale Le Gall
Springer International Publishing, LNCS-11812, 2019, Lecture Notes in Computer Science, 978-3-030-31279-4. ⟨10.1007/978-3-030-31280-0⟩
Books hal-02526347v1
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

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

Structuring Theories with Implicit Morphisms

 Florian Rabe , Dennis Müller
24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.154-173, ⟨10.1007/978-3-030-23220-7_9⟩
Conference papers hal-02364570v1
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

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

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

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

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

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

Redundancy and Collaboration in Wikibooks

 Ilaria Liccardi , Olivier Chapuis , Ching-Man Au Yeung , Wendy Mackay
Proceedings of the 13th International Conference on Human-Computer Interaction, Sep 2011, Lisbon, Portugal. pp.215-232, ⟨10.1007/978-3-642-23774-4_20⟩
Conference papers inria-00595516v2
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
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
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

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

PolemicTweet: Video Annotation and Analysis through Tagged Tweets

 Samuel Huron , Petra Isenberg , Jean-Daniel Fekete
14th International Conference on Human-Computer Interaction (INTERACT), IFIP, Sep 2013, Heidelberg, Germany. pp.135-152, ⟨10.1007/978-3-642-40480-1_9⟩
Conference papers hal-00817591v1
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

One Fitts’ Law, Two Metrics

 Julien Gori , Olivier Rioul , Yves Guiard , Michel Beaudouin-Lafon
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.525-533, ⟨10.1007/978-3-319-67687-6_36⟩
Conference papers hal-01717202v1
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

Modeless Pointing with Low-Precision Wrist Movements

 Theophanis Tsandilas , Emmanuel Dubois , Mathieu Raynal
14th IFIP TC 13 International Conference - INTERACT, Sep 2013, Cape Town, South Africa. pp.494-511, ⟨10.1007/978-3-642-40477-1_31⟩
Conference papers hal-00821078v2
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

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

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

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