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 408  trong Tất cả tài nguyên

Kết quả 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Interactive Systems. Design, Specification, and Verification
Material Type:
Sách
Thêm vào Góc nghiên cứu

Interactive Systems. Design, Specification, and Verification

Graham, T. C. Nicholas; Palanque, Philippe

978-3-540-70568-0; 0302-9743; http://repository.vnu.edu.vn/handle/VNU_123/24645

Truy cập trực tuyến

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

Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification

Silva, José-Luis ; Fayollas, Camille ; Hamon, Arnaud ; palanque, Philippe ; Martiinie, Célia ; Barboni, Eric

DOI: 10.14279/tuj.eceasst.69.967 ; Related DOI: 10.14279/tuj.eceasst.69 ; Related DOI: 10.14279/tuj.eceasst.69.967.947

Truy cập trực tuyến

3
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 ; E-ISSN: 1095-9300 ; DOI: 10.1016/j.ijhcs.2013.08.013

Truy cập trực tuyến

Phiên bản sẵn có
4
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 ; E-ISSN: 1095-9300 ; DOI: 10.1016/j.ijhcs.2013.08.014

Truy cập trực tuyến

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

Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach

Navarre, David ; Palanque, Philippe ; Barboni, Eric ; Ladry, Jean-François ; Martinie, Célia

Reliability Engineering and System Safety, 2011, Vol.96(1), pp.38-52 [Tạp chí có phản biện]

ISSN: 0951-8320 ; E-ISSN: 1879-0836 ; DOI: 10.1016/j.ress.2010.06.028

Truy cập trực tuyến

Phiên bản sẵn có
6
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 ; E-ISSN: 1872-7964 ; DOI: 10.1016/j.scico.2013.04.001

Truy cập trực tuyến

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

Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web

Fayollas, Camille ; Martinie, Célia ; Palanque, Philippe ; Masci, Paolo ; Harrison, Michael ; Campos, José ; Silva, Saulo; Silva, Saulo (pacrepositoryorg)

arXiv.org, Jan 30, 2017

E-ISSN: 2331-8422 ; DOI: 10.4204/EPTCS.240.1

Truy cập trực tuyến

Phiên bản sẵn có
8
Human-Computer Interaction – INTERACT 2011: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part IV
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

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

Cordeil, Maxime ; Hurter, Christophe ; Conversy, Stéphane;; Campos, Pedro ; Graham, Nicholas ; Jorge, Joaquim ; Nunes, Nuno ; Palanque, Philippe ; Winckler, Marco

Series ISSN: 0302-9743 ; ISBN: 978-3-642-23767-6 ; E-ISBN: 978-3-642-23768-3 ; DOI: 10.1007/978-3-642-23768-3

Truy cập trực tuyến

9
Human-Computer Interaction – INTERACT 2011: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part III
Material Type:
Sách
Thêm vào Góc nghiên cứu

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

Lindgren, Helena ; Winnberg, Patrik J. ; Winnberg, Peter;; Hutchison, David (Editor) ; Kanade, Takeo (Editor) ; Kittler, Josef (Editor) ; Kleinberg, Jon M (Editor) ; Mattern, Friedemann (Editor) ; Mitchell, John C (Editor) ; Naor, Moni (Editor) ; Nierstrasz, Oscar (Editor) ; Pandu Rangan, C (Editor) ; Steffen, Bernhard (Editor) ; Sudan, Madhu (Editor) ; Terzopoulos, Demetri (Editor) ; Tygar, Doug (Editor) ; Vardi, Moshe Y (Editor) ; Weikum, Gerhard (Editor) ; Campos, Pedro (Editor) ; Graham, Nicholas (Editor) ; Jorge, Joaquim (Editor) ; Nunes, Nuno (Editor) ; Palanque, Philippe (Editor) ; Winckler, Marco (Editor)

Lecture Notes in Computer Science [Tạp chí có phản biện]

ISBN: 9783642237645 ; ISBN: 3642237649 ; E-ISBN: 9783642237652 ; E-ISBN: 3642237657 ; DOI: 10.1007/978-3-642-23765-2

Truy cập trực tuyến

Phiên bản sẵn có
10
Human-Computer Interaction – INTERACT 2011: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part I
Material Type:
Sách
Thêm vào Góc nghiên cứu

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

Campos, Pedro ; Graham, Nicholas ; Jorge, Joaquim ; Nunes, Nuno ; Palanque, Philippe ; Winckler, Marco;; Hutchison, David (Editor) ; Kanade, Takeo (Editor) ; Kittler, Josef (Editor) ; Kleinberg, Jon M (Editor) ; Mattern, Friedemann (Editor) ; Mitchell, John C (Editor) ; Naor, Moni (Editor) ; Nierstrasz, Oscar (Editor) ; Pandu Rangan, C (Editor) ; Steffen, Bernhard (Editor) ; Sudan, Madhu (Editor) ; Terzopoulos, Demetri (Editor) ; Tygar, Doug (Editor) ; Vardi, Moshe Y (Editor) ; Weikum, Gerhard (Editor) ; Campos, Pedro (Editor) ; Graham, Nicholas (Editor) ; Jorge, Joaquim (Editor) ; Nunes, Nuno (Editor) ; Palanque, Philippe (Editor) ; Winckler, Marco (Editor)

Lecture Notes in Computer Science [Tạp chí có phản biện]

ISBN: 9783642237737 ; ISBN: 3642237738 ; E-ISBN: 9783642237744 ; E-ISBN: 3642237746 ; DOI: 10.1007/978-3-642-23774-4

Truy cập trực tuyến

Phiên bản sẵn có
11
Human-Computer Interaction – INTERACT 2011: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part II
Material Type:
Sách
Thêm vào Góc nghiên cứu

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

Campos, Pedro ; Graham, Nicholas ; Jorge, Joaquim ; Nunes, Nuno ; Palanque, Philippe ; Winckler, Marco;; Hutchison, David (Editor) ; Kanade, Takeo (Editor) ; Kittler, Josef (Editor) ; Kleinberg, Jon M (Editor) ; Mattern, Friedemann (Editor) ; Mitchell, John C (Editor) ; Naor, Moni (Editor) ; Nierstrasz, Oscar (Editor) ; Pandu Rangan, C (Editor) ; Steffen, Bernhard (Editor) ; Sudan, Madhu (Editor) ; Terzopoulos, Demetri (Editor) ; Tygar, Doug (Editor) ; Vardi, Moshe Y (Editor) ; Weikum, Gerhard (Editor) ; Campos, Pedro (Editor) ; Graham, Nicholas (Editor) ; Jorge, Joaquim (Editor) ; Nunes, Nuno (Editor) ; Palanque, Philippe (Editor) ; Winckler, Marco (Editor)

Lecture Notes in Computer Science [Tạp chí có phản biện]

ISBN: 9783642237706 ; ISBN: 3642237703 ; E-ISBN: 9783642237713 ; E-ISBN: 3642237711 ; DOI: 10.1007/978-3-642-23771-3

Truy cập trực tuyến

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

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

Masip Ardévol, Llúcia ; Martinie, Célia ; Winckler, Marco ; Palanque, Philippe ; Granollers I Saltiveri, Toni ; Oliva Solé, Marta

Truy cập trực tuyến

13
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Extracting references between text and charts via crowdsourcing

Kong, N ; Hearst, MA ; Agrawala, M; Jones, Matt ; Palanque, Philippe A ; Schmidt, Albrecht ; Grossman, Tovi

Truy cập trực tuyến

14
The Handbook of Formal Methods in Human-Computer Interaction
Material Type:
Sách
Thêm vào Góc nghiên cứu

The Handbook of Formal Methods in Human-Computer Interaction

Weyers, Benjamin;; Tan, Desney (Editor) ; Vanderdonckt, Jean (Editor) ; Weyers, Benjamin (Editor) ; Bowen, Judy (Editor) ; Dix, Alan (Editor) ; Palanque, Philippe (Editor)

Human–Computer Interaction Series

ISBN: 9783319518374 ; ISBN: 3319518372 ; E-ISBN: 9783319518381 ; E-ISBN: 3319518380 ; DOI: 10.1007/978-3-319-51838-1

Truy cập trực tuyến

Phiên bản sẵn có
15
Human Error, Safety and Systems Development: 7th IFIP WG 13.5 Working Conference, HESSD 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Human Error, Safety and Systems Development: 7th IFIP WG 13.5 Working Conference, HESSD 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers

Palanque, Philippe ; Vanderdonckt, Jean ; Winckler, Marco

Series ISSN: 0302-9743 ; ISBN: 978-3-642-11749-7 ; E-ISBN: 978-3-642-11750-3 ; DOI: 10.1007/978-3-642-11750-3

Truy cập trực tuyến

16
Structuring and Composition Mechanisms to Address Scalability Issues in Task Models
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Structuring and Composition Mechanisms to Address Scalability Issues in Task Models

Martinie, Célia ; Palanque, Philippe ; Winckler, Marco; Campos, Pedro (Editor) ; Graham, Nicholas (Editor) ; Jorge, Joaquim (Editor) ; Nunes, Nuno (Editor) ; Palanque, Philippe (Editor) ; Winckler, Marco (Editor)

Lecture Notes in Computer Science, Human-Computer Interaction – INTERACT 2011: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part III, pp.589-609

ISBN: 9783642237645 ; ISBN: 3642237649 ; E-ISBN: 9783642237652 ; E-ISBN: 3642237657 ; DOI: 10.1007/978-3-642-23765-2_40

Truy cập trực tuyến

17
Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach

Fabre, Jean-Charles ; Navarre, David ; Palanque, Philippe ; Deleris, Yannick; Avgeriou, Paris (Editor)

Lecture Notes in Computer Science, Software Engineering for Resilient Systems: 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings, pp.32-46

ISBN: 9783642331756 ; ISBN: 3642331750 ; E-ISBN: 9783642331763 ; E-ISBN: 3642331769 ; DOI: 10.1007/978-3-642-33176-3_3

Truy cập trực tuyến

18
Web Augmentation as a Promising Technology for End User Development
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Web Augmentation as a Promising Technology for End User Development

Aldalur, Iñigo ; Winckler, Marco ; Díaz, Oscar ; Palanque, Philippe; Winckler, Marco (Editor)

New Perspectives in End-User Development

ISBN: 9783319602905 ; ISBN: 331960290X ; DOI: 10.1007/978-3-319-60291-2_17

Truy cập trực tuyến

19
Task Models and Diagrams for User Interface Design: 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Task Models and Diagrams for User Interface Design: 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers

England, David ; Palanque, Philippe ; Vanderdonckt, Jean ; Wild, Peter

Series ISSN: 0302-9743 ; ISBN: 978-3-642-11796-1 ; E-ISBN: 978-3-642-11797-8 ; DOI: 10.1007/978-3-642-11797-8

Truy cập trực tuyến

20
Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part III
Material Type:
Sách
Thêm vào Góc nghiên cứu

Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part III

Abascal, Julio ; Barbosa, Simone ; Fetter, Mirko ; Gross, Tom ; Palanque, Philippe ; Winckler, Marco;; Hutchison, David (Editor) ; Kanade, Takeo (Editor) ; Kittler, Josef (Editor) ; Kleinberg, Jon M (Editor) ; Mattern, Friedemann (Editor) ; Mitchell, John C (Editor) ; Naor, Moni (Editor) ; Pandu Rangan, C (Editor) ; Steffen, Bernhard (Editor) ; Terzopoulos, Demetri (Editor) ; Tygar, Doug (Editor) ; Weikum, Gerhard (Editor) ; Abascal, Julio (Editor) ; Barbosa, Simone (Editor) ; Fetter, Mirko (Editor) ; Gross, Tom (Editor) ; Palanque, Philippe (Editor) ; Winckler, Marco (Editor)

Lecture Notes in Computer Science [Tạp chí có phản biện]

ISBN: 9783319226972 ; ISBN: 3319226975 ; E-ISBN: 9783319226989 ; E-ISBN: 3319226983 ; DOI: 10.1007/978-3-319-22698-9

Truy cập trực tuyến

Phiên bản sẵn có

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

Kết quả 1 2 3 4 5 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.   

Lọc kết quả

Năm xuất bản 

Từ đến
  1. Trước2006  (8)
  2. 2006đến2007  (15)
  3. 2008đến2009  (54)
  4. 2010đến2012  (309)
  5. Sau 2012  (22)
  6. Lựa chọn khác open sub menu

Phân loại theo LCC 

  1. Q - Science.  (26)
  2. T - Technology .  (2)
  3. Lựa chọn khác open sub menu

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