12118 search results - page 78 / 2424 » User interface tools |
159
click to vote
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...
133
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The Semantic Web is becoming more and more a reality, as the required technologies have reached an appropriate level of maturity. However, at this stage, it is important to provid...
161
click to vote
STORYTELLING
2007
Springer
16 years 9 days ago
2007
Springer
We present Wide Ruled, an authoring tool for the creation of generative stories. It is based on the Universe author-goal-based model of story generation, and extends this model by ...
176
click to vote
RIAO
1997
15 years 7 months ago
1997
The World Wide Web (WWW) is a successful hypermedia information space used by millions of people, yet it suffers from many deficiencies and problems in support for navigation ar...
135
click to vote
DSVIS
2005
Springer
15 years 11 months ago
2005
Springer
We introduce a formal model of inconsistency-related mode confusion. This forms the basis of a heuristic methodology for critiquing user interfaces, using a matrix algebra approach...