Search - IFIP Open Digital Library Access content directly

Filter your results

7 results
Structure: Internal structure identifier : 445543
publicationDateY_i : 2019
Page :
sorted by
Image document

Output-sensitive Information flow analysis

 Cristian Ene , Laurent Mounier , Marie-Laure Potet
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.93-110, ⟨10.1007/978-3-030-21759-4_6⟩
Conference papers hal-02303984v1
Image document

Head-Controlled Menu in Mixed Reality with a HMD

 François Leitner , Laurence Nigay , Charles Bailly
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.395-415, ⟨10.1007/978-3-030-29390-1_22⟩
Conference papers hal-02877647v1
Image document

Augmented Reality for Operator Training on Industrial Workplaces – Comparing the Microsoft HoloLens vs. Small and Big Screen Tactile Devices

 Andreas Pusch , Frédéric Noël
16th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2019, Moscow, Russia. pp.3-13, ⟨10.1007/978-3-030-42250-9_1⟩
Conference papers hal-03140596v1
Image document

Investigating Mobile Banking in Mali: HCI Experience of ‘Man in the Street’

 Fatoumata G. Camara , Daouda Traoré , Gaëlle Calvary , Amal Kali
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.34-42, ⟨10.1007/978-3-030-29387-1_3⟩
Conference papers hal-02553850v1
Image document

Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework

 Jean-Bernard Stefani , Martin Vassor
FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.242-260, ⟨10.1007/978-3-030-21759-4_14⟩
Conference papers hal-02313751v1
Image document

SplitSlider: A Tangible Interface to Input Uncertainty

 Miriam Greis , Hyunyoung Kim , Andreas Korge , Albrecht Schmidt , Céline Coutrix
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.493-510, ⟨10.1007/978-3-030-29390-1⟩
Conference papers hal-02413628v1
Image document

Squeezing Streams and Composition of Self-stabilizing Algorithms

 Karine Altisen , Pierre Corbineau , Stéphane Devismes
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.21-38, ⟨10.1007/978-3-030-21759-4_2⟩
Conference papers hal-02313746v1
Page :