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

Filter your results

3 results
Deposit type : Fulltext
labStructName_s : Microsoft Research [Cambridge]
labStructName_s : Centrum voor Wiskunde en Informatica
Image document

Formal Verification of Service Level Agreements Through Distributed Monitoring

Behrooz Nobakht , Stijn De Gouw , Frank Boer
4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.125-140, ⟨10.1007/978-3-319-24072-5_9⟩
Conference papers hal-01757576v1
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