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

Filter your results

3 results
Deposit type : Fulltext
labStructName_s : Laboratoire d'analyse et d'architecture des systèmes
labStructName_s : Microsoft Research [Cambridge]
Image document

Using IMUs to Identify Supervisors on Touch Devices

Ahmed Kharrufa , James Nicholson , Paul Dunphy , Steve Hodges , Pam Briggs , et al.
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.565-583, ⟨10.1007/978-3-319-22668-2_44⟩
Conference papers hal-01599873v1
Image document

Wireless Smartphone Mirroring in Video Calls

Henrik Sørensen , Kenton O’hara , Phil Gosset , Jesper Kjeldskov
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.410-417, ⟨10.1007/978-3-319-22698-9_28⟩
Conference papers hal-01609408v1
Image document

Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus

Silvano Dal Zilio , Bernard Berthomieu
1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Teheran, Iran. pp.90-104, ⟨10.1007/978-3-319-28678-5_7⟩
Conference papers hal-01202799v1