Filtrer vos résultats
- 34
- 28
- 45
- 13
- 4
- 1
- 62
- 1
- 2
- 5
- 1
- 3
- 1
- 2
- 2
- 2
- 8
- 3
- 8
- 5
- 3
- 3
- 1
- 4
- 4
- 2
- 1
- 1
- 58
- 4
- 62
- 6
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 62
- 61
- 41
- 32
- 15
- 9
- 8
- 7
- 7
- 6
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
62 résultats
|
Usability aspects of the inside-in approach for ancillary search tasks on the web15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.211-230, ⟨10.1007/978-3-319-22668-2_18⟩
Communication dans un congrès
hal-01343048v1
|
||
Task-Model Based Assessment of Automation Levels: Application to Space Ground SegmentsIEEE International Conference on Systems, Man and Cybernetics (SMC 2011), Oct 2011, Anchorage, AK, United States. pp.3267-3273, ⟨10.1109/ICSMC.2011.6084173⟩
Communication dans un congrès
hal-03647166v1
|
|||
|
Formal description of multi-touch interactionsACM SIGCHI conference Engineering Interactive Computing Systems - EICS 2013, ACM Special Interest Group on Computer-Human Interaction, Jun 2013, Londres, United Kingdom. pp.207-216, ⟨10.1145/2494603.2480311⟩
Communication dans un congrès
hal-04083399v1
|
||
A Generic Framework for Structuring Configuration Management for Socio-technical System: Application to Control RoomsIFIP WG 13.5 Workshop: Control Rooms in Safety Critical Contexts: Design, Engineering and Evaluation Issues (WS07) @ INTERACT 2021, IFIP (International Federation for Information Processing) Technical Committee 13 on Human–Computer Interaction; ACM, Aug 2021, Bari, Italy. pp.290-301, ⟨10.1007/978-3-030-98388-8_26⟩
Communication dans un congrès
hal-03857754v1
|
|||
|
A User-Centered View on Formal Methods: Interactive Support for Validation and VerificationWorkshop on Formal Methods in Human Computer Interaction (FoMHCI 2015), Jun 2015, Duisburg, Germany. pp. 24-29
Communication dans un congrès
hal-01334684v1
|
||
Interactive Cockpits Applications: Modelling and Validation using a Petri-net based FormalismEuropean Congress on Embedded Real-Time Software (ERTS² 2012), 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE: the French Society for Electricity, Electronics, and Information & Communication Technologies, Feb 2012, Toulouse, France
Communication dans un congrès
hal-03644336v1
|
|||
Supporting Intuition through Formal Specification of the User Interface for Military Aircraft Cockpit11th International Conference on Human-Computer Interaction (HCI 2005), Jul 2005, Las Vegas, Nevada, France. pp.CDRom
Communication dans un congrès
hal-03663645v1
|
|||
A Tool Supported Model-based Approach for Engineering Usability Evaluation of Interaction Techniques3rd ACM SIGCHI Conference Engineering Interactive Computing Systems (EICS 2011), ACM SIGCHI (Special Interest Group on Computer-Human Interaction); IFIP WG 2.7/13.4 (International Federation for Information Processing), Jun 2011, Pise, Italy. pp.21-30, ⟨10.1145/1996461.1996490⟩
Communication dans un congrès
hal-03647158v1
|
|||
|
Formal Tasks and Systems Models as a Tool for Specifying and Assessing Automation DesignsInternational Conference on Application and Theory of Automation in Command and Control Systems, May 2011, Barcelone, Spain. pp.50-59
Communication dans un congrès
hal-03647159v1
|
||
A Notation and a Layered Architecture to Model Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch InteractionsWorkshop on Engineering Gestures for Multimodal Interfaces (EGMI 2014), co-located with the 6th ACM SIGCHI - ICS 2014, Jun 2014, Rome, Italy
Communication dans un congrès
hal-03252263v1
|
|||
Systematic Approaches to Training Encompassing Operators’ mission and Interaction TechniquesInternational Conference on Human-Computer Interaction in Aerospace (HCI-Aero 2012), ACM-SIGCHI : Special Interest Group on Computer-Human Interaction; IEA : International Energy Agency; Air and Space Academy, Sep 2012, Brussels, Belgium
Communication dans un congrès
hal-03647153v1
|
|||
A Systematic Approach to Training for Ground Segment using Tasks and Scenarios: Application to PICARD satelliteInternational Conference on Space Operations (SpaceOps 2012), Jun 2012, Stockholm, Sweden. pp.(electronic medium), ⟨10.2514/6.2012-1275518⟩
Communication dans un congrès
hal-03644331v1
|
|||
Principles of Task Analysis and Modeling: Understanding Activity, Modeling Tasks, and Analyzing ModelsJean Vanderdonckt; Philippe Palanque; Marco Winckler. Handbook of Human Computer Interaction, Springer International Publishing, pp.1-40, 2022, 978-3-319-27648-9. ⟨10.1007/978-3-319-27648-9_57-1⟩
Chapitre d'ouvrage
hal-03862234v1
|
|||
Designing for resilience to hardware failures in interactive systems: A model and simulation-based approachReliability Engineering and System Safety, 2011, Special Issue on Safecomp 2008, 96 (1), pp.38-52. ⟨10.1016/j.ress.2010.06.028⟩
Article dans une revue
istex
hal-02933573v1
|
|||
Increasing engagement and well-being of operators working with automation by integrating task models and gameful designPersonal and Ubiquitous Computing, 2023, pp.1--28. ⟨10.1007/s00779-023-01783-4⟩
Article dans une revue
hal-04308405v1
|
|||
|
Une approche à base de modèles pour l'ingénierie logicielle de techniques d'interaction22nd Conference on l'Interaction Homme-Machine (IHM 2010), SIGCHI, Sep 2010, Luxembourg, Luxembourg. pp.81-88, ⟨10.1145/1941007.1941019⟩
Communication dans un congrès
hal-03651216v1
|
||
Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification5th International Workshop on Formal Methods for Interactive Systems (FMIS 2013), Steve Reeves, University of Waikato; Judy Bowen, University of Waikato, Jun 2013, London, United Kingdom. ⟨10.14279/tuj.eceasst.69.967.947⟩
Communication dans un congrès
hal-03644323v1
|
|||
ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalabilityACM Transactions on Computer-Human Interaction, 2009, 16 (4), pp.1-56. ⟨10.1145/1614390.1614393⟩
Article dans une revue
hal-02570890v1
|
|||
|
Model-based engineering of widgets, user applications and servers compliant with ARINC 661 specification13th conference on Design Specification and Verification of Interactive Systems (DSVIS 2006), Jul 2006, Dublin, Ireland. pp.25-38, ⟨10.1007/978-3-540-69554-7_3⟩
Communication dans un congrès
hal-01021771v1
|
||
|
Petri Net Centered versus User Centered Petri Nets Tools10th Workshop on Algorithms and Tools for. Petri Nets (AWPN 2003), Sep 2003, Eichstätt, Germany
Communication dans un congrès
hal-03664736v1
|
||
|
Interactive Cockpits Applications: Specification, Prototyping and Validation using a Petri-nets based FormalismEuropean Congress on Embedded Real Time Software and Systems (ERTS 2012), 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE: the French Society for Electricity, Electronics, and Information & Communication Technologies, Feb 2012, Toulouse, France
Communication dans un congrès
hal-02189909v1
|
||
|
A List of Pre-Requisites to Make Recommender Systems Deployable in Critical Context2nd Workshop on Engineering Computer-Human Interaction in Recommender Systems, co-located with the 9th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EnCHIReS @ EICS 2017), Jun 2017, Lisbonne, Portugal. pp.42-55
Communication dans un congrès
hal-02486107v1
|
||
|
Task Models for Supporting Function Allocation between Operators and Autonomous Systems: Application to Collision Avoidance Operations for Spacecraft (2016)2016 Spring Symposium on Intelligent systems for supporting distributed human teamwork (AAAI-SS 2016), AAAI : Association for the Advancement of Artificial Intelligence, Mar 2016, Stanford, CA, United States. pp.85-94
Communication dans un congrès
hal-04109418v1
|
||
|
Revisiting system's pages in engine indication and alerting system for flight crew using the DSCU architecture and the OQCR system generic state descriptionINCOSE International Conference on Human System Integration (INCOSE HSI 2019), Sep 2019, Biarritz, France. pp.1-9
Communication dans un congrès
hal-02450862v1
|
||
|
Model-Based Usability Evaluation and Analysis of Interactive TechniquesWorkshop on Model Driven Development of Advanced User Interfaces (MDDAUI 2010), Apr 2010, Atlanta, Georgia, France. pp.21-24
Communication dans un congrès
hal-03651211v1
|
||
High-Fidelity Prototyping of Interactive Systems can be Formal too13th International Conference on Human-Computer Interaction. New Trends (HCI 2009), Jul 2009, San Diego, CA, France. pp.21-30, ⟨10.1007/978-3-642-02574-7_75⟩
Communication dans un congrès
istex
hal-03653357v1
|
|||
Dealing with Reliability and Evolvability in Description Techniques for Next Generation User InterfacesWorkshop on User Interface Description Languages for Next Generation User Interfaces @ CHI 2008, Apr 2008, Florence, Italy
Communication dans un congrès
hal-03653370v1
|
|||
Inside-In Search: An Alternative for Performing Ancillary Search Tasks on the Web9th Latin American Web Congress (LA-Web 2014), Oct 2014, Ouro Preto, Brazil. pp.91--99, ⟨10.1109/LAWeb.2014.21⟩
Communication dans un congrès
hal-03263710v1
|
|||
|
Engineering Annotations: A Generic Framework For Gluing Design Artefacts in Models of Interactive SystemsProceedings of the ACM on Human-Computer Interaction , In press, Journal PACM EICS series, EICS 2022 (EICS), pp.1-36. ⟨10.1145/3535063⟩
Article dans une revue
hal-03657095v1
|
||
Une Approche Formelle pour l'Evaluation de la Tolérance aux Interruptions des Système Interactifs21st Conférence Francophone sur l'Interaction Homme-Machine: L'interaction au sommet (IHM 2009), AFIHM : Association Francophone d'Interaction Humain-Machine, Oct 2009, Grenoble, France. pp.141-150, ⟨10.1145/1629826.1629848⟩
Communication dans un congrès
hal-03653366v1
|