2004 search results - page 354 / 401 » Comparison of Model Checking Tools for Information Systems |
CHI
2005
ACM
16 years 6 days ago
2005
ACM
Management of clutter is an important factor in the design of user interfaces and information visualizations, allowing improved usability and aesthetics. However, clutter is not a...
HICSS
2009
IEEE
15 years 6 months ago
2009
IEEE
Successful knowledge management results in a competitive advantage in today’s information- and knowledge-rich industries. The elaboration and integration of emerging web-based t...
172
click to vote
IUI
2006
ACM
15 years 5 months ago
2006
ACM
This paper addresses the problem of the graceful degradation of user interfaces where an initial interface is transferred to a smaller platform. It presents a technique for pagina...
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
Point estimates of the parameters in real world models convey valuable information about the actual system. However, parameter comparisons and/or statistical inference requires de...
116
click to vote
JCDL
2011
ACM
14 years 2 months ago
2011
ACM
We need to harness the growing wealth of information in digital libraries to support intellectual work involving creative and exploratory processes. Prior research on hypertext au...