skip to main content
Ngôn ngữ:
Giới hạn tìm kiếm: Giới hạn tìm kiếm: Dạng tài nguyên Hiển thị kết quả với: Hiển thị kết quả với: Chỉ mục

Kết quả 1 - 20 của 22  trong Tất cả tài nguyên

Kết quả 1 2 next page
Chỉ hiển thị
Lọc theo: Năm xuất bản: 2012đến2016 xóa Chủ đề: Human-Computer Interaction xóa
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems

Martinie, Célia ; Navarre, David ; Palanque, Philippe

International Journal of Human - Computer Studies, January 2014, Vol.72(1), pp.77-99 [Tạp chí có phản biện]

ISSN: 1071-5819 ; DOI: 10.1016/j.ijhcs.2013.08.013

Toàn văn sẵn có

Phiên bản sẵn có
2
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

An approach for supporting distributed user interface orchestration over the Web

Firmenich, Sergio ; Rossi, Gustavo ; Winckler, Marco ; Palanque, Philippe

International Journal of Human - Computer Studies, January 2014, Vol.72(1), pp.53-76 [Tạp chí có phản biện]

ISSN: 1071-5819 ; DOI: 10.1016/j.ijhcs.2013.08.014

Toàn văn sẵn có

Phiên bản sẵn có
3
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Bridging the gap between a behavioural formal description technique and a user interface description language: Enhancing ICO with a graphical user interface markup language

Barboni, Eric ; Martinie, Célia ; Navarre, David ; Palanque, Philippe ; Winckler, Marco

Science of Computer Programming, 15 June 2014, Vol.86, pp.3-29 [Tạp chí có phản biện]

ISSN: 0167-6423 ; DOI: 10.1016/j.scico.2013.04.001

Toàn văn sẵn có

Phiên bản sẵn có
4
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Fine Grain Modeling of Task Deviations for Assessing Qualitatively the Impact of Both System Failures and Human Error on Operator Performance

Martinie, Celia ; Palanque, Philippe

Proceedings of the Symposium on Formal Verification on Human-Machine Systems, 2014

Toàn văn sẵn có

5
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

A generic framework for executable gestural interaction models

Deshayes, Romuald ; Mens, Tom ; Palanque, Philippe

Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing 2013, 2013

Toàn văn sẵn có

6
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

PetriNect: A tool for executable modeling of gestural interaction

Deshayes, Romuald ; Mens, Tom ; Palanque, Philippe

Proceedings of Symposium on Visual Languages and Human-Centric Computing, 2013

Toàn văn sẵn có

7
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Designing and Assessing Interactive Systems Using Task Models

Palanque, Philippe ; Martinie De Almeida, Celia

Proceedings of CHI EA '15 - Extended Abstracts on Human Factors in Computing Systems, 2015

Toàn văn sẵn có

8
HAMSTERS : un environnement d’édition et de simulation de modèles de tâches
Material Type:
Hình ảnh
Thêm vào Góc nghiên cứu

HAMSTERS : un environnement d’édition et de simulation de modèles de tâches

Fahssi, Racim ; Martinie, Célia ; Palanque, Philippe

Toàn văn sẵn có

9
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Designing and Assessing Interactive Systems Using Task Models

Palanque, Philippe ; Martinie De Almeida, Celia

CHI EA '16 : Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems, 2016

Toàn văn sẵn có

10
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Embedding explicit representation of cyber-physical elements in task models

Fahssi, Racim Mehdi ; Martinie De Almeida, Celia ; Palanque, Philippe

Proceedings of IEEE SMC 2016, 2016

Toàn văn sẵn có

11
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

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

Fahssi, Racim Mehdi ; Martinie De Almeida, Celia ; Palanque, Philippe

Lecture Notes in Computer Science, 30 August 2015, Vol.LNCS-9299(Part IV), pp.192-212 [Tạp chí có phản biện]

DOI: 10.1007/978-3-319-22723-8_16

Toàn văn sẵn có

12
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems Through Model Checking of Formal Description of Dialog

Brat, Guillaume ; Martinie De Almeida, Célia ; Palanque, Philippe

Human-Computer Interaction. Human-Centred Design Approaches, Methods, Tools, and Environments, 2013

Toàn văn sẵn có

13
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Role of Conferences in Shaping the Field of HCI

Gulliksen, Jan ; Barbosa, Simone ; Joshi, Anirudha ; Lawson, Shaun ; Palanque, Philippe

Lecture Notes in Computer Science, 2015, Vol.LNCS-9299(Part IV), pp.637-639 [Tạp chí có phản biện]

DOI: 10.1007/978-3-319-22723-8_81

Toàn văn sẵn có

14
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Beyond Formal Methods for Critical Interactive Systems: Dealing with Faults at Runtime

Fayollas, Camille ; Martinie De Almeida, Celia ; Palanque, Philippe ; Deleris, Yannick

Proceedings of the Workshop on Formal Methods in Human Computer Interaction 2015, November 2015

Toàn văn sẵn có

15
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Rapid Task-Models Development Using Sub-models, Sub-routines and Generic Components

Forbrig, Peter ; Martinie, Celia ; Palanque, Philippe ; Winckler, Marco Antonio ; Fahssi, Racim

Human-Centered Software Engineering, 2014

Toàn văn sẵn có

16
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Multiple Views on Safety-Critical Automation: Aircrafts, Autonomous Vehicles, Air Traffic Management and Satellite Ground Segments Perspectives

Feary, Michael ; Martinie De Almeida, Celia ; Palanque, Philippe ; Tscheligi, Manfred

CHI EA '16 : Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems, 2016, pp.1069-1072

Toàn văn sẵn có

17
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

A User-Centered View on Formal Methods: Interactive Support for Validation and Verification

Barboni, Eric ; Hamon, Arnaud ; Martinie De Almeida, Celia ; Palanque, Philippe

Proceedings of the Workshop on Formal Methods in Human Computer Interaction 2015, June 2015

Toàn văn sẵn có

18
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

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

Winckler, Marco Antonio ; Cava, Ricardo ; Barboni, Eric ; Palanque, Philippe ; Freitas, Carla

Lecture Notes in Computer Science, August 2015, Vol.LNCS-9297(Part II), pp.211-230 [Tạp chí có phản biện]

DOI: 10.1007/978-3-319-22668-2_18

Toàn văn sẵn có

19
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

AUTOM AT ICS: Research activities on Automation

Martinie De Almeida, Celia ; Palanque, Philippe ; Winckler, Marco Antonio ; Bernhaupt, Regina

5th International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2015), 2015

Toàn văn sẵn có

20
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

A Fault-Tolerant Architecture for Resilient Interactive Systems

Camille, Fayollas ; Palanque, Philippe ; Fabre, Jean-Charles ; Navarre, David ; Barboni, Eric ; Cronel, Martin ; Deleris, Yannick

IHM'14, 26e conférence francophone sur l'Interaction Homme-Machine, 2014, pp.80-90

Toàn văn sẵn có

Kết quả 1 - 20 của 22  trong Tất cả tài nguyên

Kết quả 1 2 next page

Chủ đề của tôi

  1. Thiết lập

Refine Search Results

Mở rộng kết quả tìm kiếm

  1.   

Chỉ hiển thị

  1. Tạp chí có phản biện (6)

Lọc kết quả

Năm xuất bản 

Từ đến

Ngôn ngữ 

  1. English  (20)
  2. French  (2)
  3. Lựa chọn khác open sub menu

Đang tìm Cơ sở dữ liệu bên ngoài...