903 search results - page 63 / 181 » Usability inspection methods |
123
Voted
FMCO
2009
Springer
15 years 1 months ago
2009
Springer
Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalabili...
150
Voted
ASSETS
2008
ACM
15 years 5 months ago
2008
ACM
Accessibility auditors have to choose a method when evaluating accessibility: expert review (a.k.a. conformance testing), user testing, subjective evaluations, barrier walkthrough...
121
Voted
PERCOM
2009
ACM
16 years 4 months ago
2009
ACM
Abstract--"Secure Device Pairing" is the process of bootstrapping a secure channel between two previously unassociated devices over a (usually wireless) human-imperceptib...
119
Voted
AAAI
2006
15 years 5 months ago
2006
straction is a useful tool for agents interacting with environments. Good state abstractions are compact, reuseable, and easy to learn from sample data. This paper and extends two...
133
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
The Markov chain approximation method is an effective and widely used approach for computing optimal values and controls for stochastic systems. It was extended to nonlinear (and p...