Filtrer vos résultats
- 62
- 48
- 86
- 16
- 7
- 1
- 110
- 1
- 1
- 1
- 4
- 3
- 4
- 4
- 3
- 1
- 5
- 3
- 10
- 3
- 11
- 7
- 6
- 6
- 4
- 7
- 5
- 6
- 4
- 5
- 5
- 1
- 1
- 102
- 7
- 1
- 110
- 11
- 9
- 4
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 110
- 109
- 41
- 39
- 20
- 18
- 16
- 11
- 10
- 9
- 7
- 7
- 7
- 6
- 6
- 5
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 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
- 1
- 1
- 1
110 résultats
Model-Based Evaluation: A New Way to Support Usability Evaluation of Multimodal Interactive ApplicationsLaw, Effie; Hvannberg Ebba; Cockton Gilbert; Vanderdonckt, Jean. Maturing Usability: Quality in Software, Interaction and Quality, Springer, pp.96-122, 2008, Human-Computer Interaction Series book series (HCIS), ⟨10.1007/978-1-84628-941-5_5⟩
Chapitre d'ouvrage
hal-03662268v1
|
|||
Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces4th Workshop on Distributed User Interfaces and Multimodal Interaction (DIU 2014), Jul 2014, Toulouse, France. pp.27-30, ⟨10.1145/2677356.2677662⟩
Communication dans un congrès
hal-03266925v1
|
|||
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
|
||
Notations en IHM pour une modélisation synergique des tâches et du systèmeBoy, Guy. Ingénierie cognitive - IHM et cognition, 2ème partie : Développement centré sur l'homme., Hermès, 2003, Traité des sciences cognitives, 978-2746205710
Chapitre d'ouvrage
hal-03667064v1
|
|||
|
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
|
||
|
An Approach Integrating two Complementary Model-based Environments for the Construction of Multimodal Interactive ApplicationsInteracting with Computers, 2006, 18 (5), pp.910-941. ⟨10.1016/j.intcom.2006.03.002⟩
Article dans une revue
hal-03662287v1
|
||
|
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
|
||
Approche à base de modèles pour l’ingénierie des systèmes interactifsLes Techniques de l'Ingenieur, 2022, ⟨10.51257/a-v1-h3290⟩
Article dans une revue
hal-04357894v1
|
|||
|
Usability Study of Multi-Modal Interfaces using Eye-Tracking11th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2007), IFIP International Federation for Information Processing, Sep 2007, Rio de Janeiro, Brazil. pp.412-424, ⟨10.1007/978-3-540-74800-7_37⟩
Communication dans un congrès
hal-03662281v1
|
||
|
A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality ApplicationsIFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2005), IFIP TC 13, Sep 2005, Rome, Italy. pp.170-183, ⟨10.1007/11555261_17⟩
Communication dans un congrès
hal-03663655v1
|
||
An Approach for Assessing both Usability and Dependability of Interactive Systems: Application to Interactive CockpitsInternational Conference on Human-Computer Interaction in Aeronautics (HCI'Aero 2010), Nov 2010, Floride, France. pp.120-130
Communication dans un congrès
hal-03651219v1
|
|||
Position Paper: Modelling Interactive Critical Systems using Interactive Cooperative Objects FormalismWorkshop on Formal Methods in Human-Machine Interaction ((FoMHCI 2012), May 2012, London, United Kingdom. pp.(electronic medium)
Communication dans un congrès
hal-03644339v1
|
|||
Model-based Framework for Addressing Diversity, Usability and Reliability for Safety Critical Interactive Systems2nd IET International Conference on System Safety 2007, IET: Institution of Engineering and Technology, Oct 2008, London, United Kingdom. pp.38-43, ⟨10.1049/cp:20070438⟩
Communication dans un congrès
hal-03662279v1
|
|||
|
Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 6617th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2019), Nov 2019, Shenzhen, China. pp.21-39, ⟨10.1007/978-3-030-46902-3_2⟩
Communication dans un congrès
hal-02942767v1
|
||
Formal Description Techniques to Support the Design, Construction and Evaluation of Fusion Engines for SURE (Safe Usable, Reliable and Evolvable) Multimodal InterfacesInternational Conference on Multimodal Interfaces - Workshop on Machine Learning for Multi-modal Interaction (ICMI-MLMI 2009), SIGCHI : ACM Special Interest Group on Computer-Human Interaction, Nov 2009, Cambridge, Massachusetts, France. pp.135-142, ⟨10.1145/1647314.1647347⟩
Communication dans un congrès
hal-03653364v1
|
|||
|
Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems9th International Workshop on Interactive Systems: Design, Specification, and Verification (DSV-IS 2002), Jun 2002, Rostock, Germany. pp.208-222, ⟨10.1007/3-540-36235-5_16⟩
Communication dans un congrès
hal-03667067v1
|
||
Reconciling Safety and Usability Concerns through Formal Specification-based Development ProcessInternational Conference on Human-Computer Interaction in Aeronautics 2002, Oct 2002, Cambridge, Massachussets, France. pp.23-29
Communication dans un congrès
hal-03667075v1
|
|||
Model-Based Interactive Prototyping of Highly Interactive Applications4th International Conference on Computer-Aided Design of User Interfaces (CADUI 2002), May 2002, Valenciennes, France. pp.205-216
Communication dans un congrès
hal-03667074v1
|
|||
Tool Support for Interactive Prototyping of Safety Critical Interactive ApplicationsClaude Ghaoui. Encyclopedia of Human Computer Interaction, Idea Group Reference Pub, pp.603-608, 2005, 1-59140-562-9
Chapitre d'ouvrage
hal-03663647v1
|
|||
|
A more intelligent test case generation approach through task models manipulationProceedings of the ACM on Human-Computer Interaction , 2017, 1 (EICS, article 9), pp.1-20. ⟨10.1145/3095811⟩
Article dans une revue
hal-02879017v1
|
||
|
Complexity of Design in Safety Critical Interactive Systems:Gathering, Refining, Formalizing Multi-Type and Multi-Source Information while Ensuring Consistency, Reliability, Efficiency and Error-Tolerance2nd Workshop on Complexity in Design and Engineering 2005, Mar 2005, Glasgow, United Kingdom. pp.56-69
Communication dans un congrès
hal-03663644v1
|
||
Self-Checking Widgets for Interactive Cockpits13th European Workshop on Dependable Computing (EWDC 2011), May 2011, Pisa, Italy. pp.34-42, ⟨10.1145/1978582.1978592⟩
Communication dans un congrès
hal-03647164v1
|
|||
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
|
|||
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 Model-Based Tool for Interactive Prototyping of Highly Interactive ApplicationsConference International on Human Factors in Computing Systems (CHI 2002), Apr 2002, Minneapolis, Minnesota, France. pp.516-517, ⟨10.1145/506443.506457⟩
Communication dans un congrès
hal-03667082v1
|
||
A Model-Based Approach for Real-Time Embedded Multimodal Systems in Military Aircrafts6th international conference on Multimodal interfaces (ICMI 2004), Oct 2004, State College, Pen, USA, France. pp.243-250, ⟨10.1145/1027933.1027974⟩
Communication dans un congrès
hal-03664733v1
|
|||
|
Very-High-Fidelity Prototyping for both Presentation and Dialogue Parts of Multimodal Interactive SystemsIFIP Working Conference on Engineering for Human-Computer Interaction (EHCI 2004), International Federation for Information Processing (IFIP), Jul 2004, Hamburg, Germany. pp.179-199, ⟨10.1007/11431879_11⟩
Communication dans un congrès
hal-03664732v1
|
||
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
|