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

Filter your results

74 results
Page :
sorted by
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

STEPS - an Approach for Human Mobility Modeling

 Anh-Dung Nguyen , Patrick Sénac , Michel Diaz
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.254-265, ⟨10.1007/978-3-642-20757-0_20⟩
Conference papers hal-00908497v1
Image document

Knowledge base for an autonomic transport layer

 Ernesto Expósito , Christophe Chassot , Michel Diaz
9th Wired/Wireless Internet Communications (WWIC), Jun 2011, Vilanova i la Geltrú, Spain. ⟨10.1007/978-3-642-21560-5_15⟩
Conference papers hal-01024654v1
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

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
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
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

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

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

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

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

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

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

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

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

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

An Instance-Based Approach for the Quantitative Assessment of Key Value Network Dependencies

 Patrick Zwickl , Peter Reichl
Networking Workshops (NETWORKING), May 2012, Prague, Czech Republic. pp.97-104, ⟨10.1007/978-3-642-30039-4_12⟩
Conference papers hal-01533584v1
Image document

From Quality of Experience to Willingness to Pay for Interconnection Service Quality

 Andreas Sackl , Patrick Zwickl , Peter Reichl
Networking Workshops (NETWORKING), May 2012, Prague, Czech Republic. pp.89-96, ⟨10.1007/978-3-642-30039-4_11⟩
Conference papers hal-01533590v1
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

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

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

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

oBGP: An Overlay for a Scalable iBGP Control Plane

 Iuniana Oprescu , Mickaël Meulle , Steve Uhlig , Cristel Pelsser , Olaf Maennel , et al.
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.420-431, ⟨10.1007/978-3-642-20757-0_33⟩
Conference papers hal-01583402v1
Image document

UNADA: Unsupervised Network Anomaly Detection Using Sub-space Outliers Ranking

 Pedro Casas , Johan Mazel , Philippe Owezarski
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.40-51, ⟨10.1007/978-3-642-20757-0_4⟩
Conference papers hal-01583411v1
Image document

First Step in Cross-Layers Measurement in Wireless Networks How to Adapt to Resource Constraints for Optimizing End-to-End Services?

 Philippe Owezarski , Rasha Ghassan Hasan , Guillaume Kremer , Pascal Berthou
9th Wired/Wireless Internet Communications (WWIC), Jun 2011, Vilanova i la Geltrú, Spain. pp.150-161, ⟨10.1007/978-3-642-21560-5_13⟩
Conference papers hal-01583648v1
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
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 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

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
Page :