6455 search results - page 171 / 1291 » Research problems |
143
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...
179
click to vote
SPAA
1990
ACM
15 years 10 months ago
1990
ACM
Fractional cascading is a technique designed to allow e cient sequential search in a graph with catalogs of total size n. The search consists of locating a key in the catalogs alo...
143
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
Accessibility and usability are well established concepts for user interfaces and websites. Usability is precisely defined, but there are different approaches to accessibility. In...
144
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract: The recent success of various Apple products affirms that usability engineering can be a beneficial asset in software product development. But considerable problems exi...
169
click to vote
DAGSTUHL
2008
15 years 7 months ago
2008
Abstract. A parallel version of the self-verified method for solving linear systems was presented in [19, 18]. In this research we propose improvements aiming at a better performan...