Sciweavers

2749 search results - page 57 / 550
» Usability of interaction patterns
Sort
View
123
Voted
FMCO
2009
Springer
128views Formal Methods» more  FMCO 2009»
15 years 1 months ago
Patterns for Refinement Automation
Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalabili...
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis,...
138
Voted
JFP
2007
103views more  JFP 2007»
15 years 3 months ago
Warnings for pattern matching
We examine the ML pattern-matching anomalies of useless clauses and non-exhaustive matches. We state the definition of these anomalies, building upon pattern matching semantics, ...
Luc Maranget
120
Voted
WIKIS
2005
ACM
15 years 9 months ago
Are wikis usable?
Wikis are simple to use, asynchronous, Web-based collaborative hypertext authoring systems which are quickly gaining in popularity. In spite of much anecdotal evidence to the effe...
Alain Désilets, Sébastien Paquet, No...
CHI
2003
ACM
16 years 3 months ago
The bull's-eye: a framework for web application user interface design guidelines
A multi-leveled framework for user interface design guidelines of Web applications is presented. User interface design guidelines tend to provide information that is either too ge...
Betsy Beier, Misha W. Vaughan
114
Voted
IUI
2010
ACM
16 years 13 days ago
Evaluating the design of inclusive interfaces by simulation
We have developed a simulator to help with the design and evaluation of assistive interfaces. The simulator can predict possible interaction patterns when undertaking a task using...
Pradipta Biswas, Peter Robinson