Filter your results
- 4
- 4
- 4
- 4
- 8
- 5
- 3
- 2
- 4
- 2
- 3
- 2
- 4
- 2
- 4
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Adapting Desktop Web Pages for Vocal Browsing13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.628-635, ⟨10.1007/978-3-642-23765-2_42⟩
Conference papers
hal-01591799v1
|
||
|
|
Supporting Transformations across User Interface Descriptions at Various Abstraction Levels13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.608-611, ⟨10.1007/978-3-642-23768-3_94⟩
Conference papers
hal-01597015v1
|
||
|
|
A Model-Checking Tool for Families of Services13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.44-58, ⟨10.1007/978-3-642-21461-5_3⟩
Conference papers
hal-01583318v1
|
||
|
|
Web Usability Probe: A Tool for Supporting Remote Usability Evaluation of Web Sites13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.349-357, ⟨10.1007/978-3-642-23768-3_29⟩
Conference papers
hal-01596903v1
|