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

Filter your results

66 results
Page :
sorted by
Image document

OTAWA: An Open Toolbox for Adaptive WCET Analysis

 Clément Ballabriga , Hugues Cassé , Christine Rochange , Pascal Sainrat
8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.35-46, ⟨10.1007/978-3-642-16256-5_6⟩
Conference papers hal-01055378v1

Human-Centred Software Engineering

 Regina Bernhaupt , Peter Forbrig , Jan Gulliksen , Marta Lárusdóttir
LNCS-6409, 2010, Lecture Notes in Computer Science, 978-3-642-16487-3. ⟨10.1007/978-3-642-16488-0⟩
Books hal-01555775v1
Image document

User Experience Evaluation in Entertainment and Games

 Regina Bernhaupt
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.716-717, ⟨10.1007/978-3-642-23768-3_130⟩
Conference papers hal-01596944v1
Image document

5th Workshop on Software and Usability Engineering Cross-Pollination: Patterns, Usability and User Experience

 Peter Forbrig , Regina Bernhaupt , Marco Winckler , Janet Wesson
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.718-719, ⟨10.1007/978-3-642-23768-3_131⟩
Conference papers hal-01596941v1

Human-Computer Interaction – INTERACT 2011, Part IV

 Pedro Campos , Nicholas Graham , Joaquim Jorge , Nuno Nunes , Philippe Palanque , et al.
Springer, 6949, 2011, Lecture Notes in Computer Science book series (LNCS), 978-3-642-23767-6. ⟨10.1007/978-3-642-23768-3⟩
Books hal-01597099v1

Human-Computer Interaction – INTERACT 2011, Part III: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings

 Pedro Campos , Nicholas Graham , Joaquim Jorge , Nuno Nunes , Philippe Palanque , et al.
Pedro Campos; Nicholas Graham; Joaquim Jorge; Nuno Nunes; Philippe Palanque; Marco Antonio Winckler. Springer, 6948, 2011, Lecture Notes in Computer Science book series (LNCS), 978-3-642-23773-7. ⟨10.1007/978-3-642-23765-2⟩
Books hal-01590548v1
Image document

Energy: A New Criteria for Performances in Large Scale Distributed Systems

 Jean-Marc Pierson
Performance Evaluation of Computer and Communication Systems (PERFORM), Oct 2010, Vienna, Austria. pp.38-48, ⟨10.1007/978-3-642-25575-5_4⟩
Conference papers hal-01586899v1

Human-Computer Interaction – INTERACT 2011, Part I

 Pedro Campos , Nicholas Graham , Joaquim Jorge , Nuno Nunes , Philippe Palanque , et al.
Springer, 6946, 2011, Lecture Notes in Computer Science book series (LNCS), 978-3-642-23773-7. ⟨10.1007/978-3-642-23774-4⟩
Books hal-01591820v1
Image document

Structuring and Composition Mechanisms to Address Scalability Issues in Task Models

 Célia Martinie , Philippe Palanque , Marco Winckler
13th International Conference on Human-Computer Interaction (INTERACT 2011), Sep 2011, Lisbon, Portugal. pp.589-609, ⟨10.1007/978-3-642-23765-2_40⟩
Conference papers hal-01591816v1
Image document

Scenarchitectures: The Use of Domain-Specific Architectures to Bridge Design and Implementation

 Nicholas Graham , Emmanuel Dubois , Christophe Bortolaso , Christopher Wolfe
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.341-358, ⟨10.1007/978-3-642-23771-3_26⟩
Conference papers hal-01590876v1
Image document

Towards Self-Adaptive Monitoring Framework for Integrated Management

 Audrey Moui , Thierry Desprats
5th Autonomous Infrastructure, Management and Security (AIMS), Jun 2011, Nancy, France. pp.160-163, ⟨10.1007/978-3-642-21484-4_18⟩
Conference papers hal-01585860v1

Human-Computer Interaction – INTERACT 2011, Part II

 Pedro Campos , Nicholas Graham , Joaquim Jorge , Nuno Nunes , Philippe Palanque , et al.
Springer, LNCS-6947, 2011, Lecture Notes in Computer Science, 978-3-642-23770-6. ⟨10.1007/978-3-642-23771-3⟩
Books hal-01590866v1
Image document

Toward a Better Guidance in Wearable Electronic Orientation Aids

 Slim Kammoun , Marc J.-M. Macé , Bernard Oriola , Christophe Jouffrais
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.624-627, ⟨10.1007/978-3-642-23768-3_98⟩
Conference papers hal-01597024v1
Image document

Experimenting and improving perception of 3D rotation-based transitions between 2D visualizations

 Maxime Cordeil , Christophe Hurter , Stéphane Conversy
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.531-534, ⟨10.1007/978-3-642-23768-3_75⟩
Conference papers hal-01022319v1
Image document

A Design Process for Exhibiting Design Choices and Trade-Offs in (Potentially) Conflicting User Interface Guidelines

 Llúcia Masip , Célia Martinie , Marco Winckler , Philippe Palanque , Toni Granollers , et al.
4th International Conference on Human-Centered Software Engineering (HCSE 2012), Oct 2012, Toulouse, France. pp.53-71, ⟨10.1007/978-3-642-34347-6_4⟩
Conference papers hal-01556811v1
Image document

Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach

 Maxime Rebout , Louis Féraud , Lionel Marie-Magdeleine , Sergei Soloviev
4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.150-163, ⟨10.1007/978-3-642-28038-2_12⟩
Conference papers hal-01527378v1
Image document

Permutations in Coinductive Graph Representation

 Célia Picard , Ralph Matthes
11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.218-237, ⟨10.1007/978-3-642-32784-1_12⟩
Conference papers hal-01539884v1
Image document

A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments

 Célia Martinie , Philippe Palanque , David Navarre , Eric Barboni
4th International Conference on Human-Centered Software Engineering (HCSE 2012), Oct 2012, Toulouse, France. pp.72-93, ⟨10.1007/978-3-642-34347-6_5⟩
Conference papers hal-01556835v1
Image document

DVFS Aware CPU Credit Enforcement in a Virtualized System

 Daniel Hagimont , Christine Mayap Kamga , Laurent Broto , Alain Tchana , Noel de Palma
14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.123-142, ⟨10.1007/978-3-642-45065-5_7⟩
Conference papers hal-01151030v2
Image document

Model Assisted Creativity Sessions for the Design of Mixed Interactive Systems: a Protocol Analysis

 Christophe Bortolaso , Emmanuel Dubois
14th International Conference on Human-Computer Interaction (INTERACT 2013), Sep 2013, Cap Town, South Africa. pp.126-143, ⟨10.1007/978-3-642-40477-1_8⟩
Conference papers hal-01264520v1
Image document

Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems

 Abdeldjalil Boudjadar , Frits Vaandrager , Jean-Paul Bodeveix , M Filali
5th International Conference on Fundamentals of Software Engineering (FSEN 2013), Apr 2013, Tehran, Iran. pp.111-132, ⟨10.1007/978-3-642-40213-5_8⟩
Conference papers hal-01231765v1
Image document

Towards a Pervasive Access Control within Video Surveillance Systems

 Dana Al Kukhun , Dana Codreanu , Ana-Maria Manzat , Florence Sèdes
1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.289-303, ⟨10.1007/978-3-642-40511-2_20⟩
Conference papers hal-01217394v1
Image document

Evaluating User Experience for Interactive Television: Towards the Development of a Domain-Specific User Experience Questionnaire

 Regina Bernhaupt , Michael Pirker
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.642-659, ⟨10.1007/978-3-642-40480-1_45⟩
Conference papers hal-01223180v2
Image document

When Paper Meets Multi-touch: A Study of Multi-modal Interactions in Air Traffic Control

 Cheryl Savery , Christophe Hurter , Rémi Lesbordes , Maxime Cordeil , T. Nicholas Graham
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.196-213, ⟨10.1007/978-3-642-40477-1_12⟩
Conference papers hal-01504884v1
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

A Hoare-Like Calculus Using the SROIQσ Logic on Transformations of Graphs

 Jon Haël Brenas , Rachid Echahed , Martin Strecker
8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.164-178, ⟨10.1007/978-3-662-44602-7_14⟩
Conference papers hal-01402040v1
Image document

Goal-Oriented Monitoring Adaptation: Methodology and Patterns

 Antoine Toueir , Julien Broisin , Michelle Sibilla
8th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jun 2014, Brno, Czech Republic. pp.133-146, ⟨10.1007/978-3-662-43862-6_17⟩
Conference papers hal-01401300v1
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

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 :