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

Filter your results

9 results
Deposit type : Fulltext
labStructName_s : Institut de recherche en informatique de Toulouse
labStructName_s : Inria Sophia Antipolis - Méditerranée
Page :
sorted by
Image document

Dynamic Choreographies Safe Runtime Updates of Distributed Applications

 Mila Dalla Preda , Maurizio Gabbrielli , Saverio Giallorenzo , Ivan Lanese , Jacopo Mauro
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.67-82, ⟨10.1007/978-3-319-19282-6_5⟩
Conference papers hal-01227612v1
Image document

TV Interaction Beyond the Button Press

 Regina Bernhaupt , Antoine Desnos , Michael Pirker , Daniel Schwaiger
15th Human-Computer Interaction (INTERACT 2015), Sep 2015, Bamberg, Germany. pp.412-419, ⟨10.1007/978-3-319-22668-2_31⟩
Conference papers hal-01599878v1
Image document

Painless Support for Static and Runtime Verification of Component-Based Applications

 Nuno Gaspar , Ludovic Henrio , Eric Madelaine
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.259-274, ⟨10.1007/978-3-319-24644-4_18⟩
Conference papers hal-01168757v2
Image document

Applicative Bisimulation and Quantum λ-Calculi

 Ugo Dal Lago , Alessandro Rioli
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.54-68, ⟨10.1007/978-3-319-24644-4_4⟩
Conference papers hal-01231800v1
Image document

Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human Errors

 Racim Fahssi , Célia Martinie , Philippe Palanque
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.192-212, ⟨10.1007/978-3-319-22723-8_16⟩
Conference papers hal-01387758v1
Image document

Usability aspects of the inside-in approach for ancillary search tasks on the web

 Marco Winckler , Ricardo Cava , Eric Barboni , Philippe Palanque , Carla Freitas
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.211-230, ⟨10.1007/978-3-319-22668-2_18⟩
Conference papers hal-01343048v1
Image document

A Behavioural Theory for a π-calculus with Preorders

 Daniel Hirschkoff , Jean-Marie Madiot , Xian Xu
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.143-158, ⟨10.1007/978-3-319-24644-4_10⟩
Conference papers hal-01246094v2
Image document

IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development

 Chris Johnson , Mike Feary , Célia Martinie , Philippe Palanque , Regina Peldszus
15th Human-Computer Interaction (INTERACT 2015), Sep 2015, Bamberg, Germany. pp.663-664, ⟨10.1007/978-3-319-22723-8_91⟩
Conference papers hal-01610829v1
Image document

Role of Conferences in Shaping the Field of HCI

 Jan Gulliksen , Simone Barbosa , Anirudha Joshi , Shaun Lawson , Philippe Palanque
15th Human-Computer Interaction (INTERACT 2015), Sep 2015, Bamberg, Germany. pp.637-639, ⟨10.1007/978-3-319-22723-8_81⟩
Conference papers hal-01610848v1
Page :