9575 search results - page 185 / 1915 » Exploring user experience in |
120
click to vote
FLAIRS
2001
15 years 5 months ago
2001
Knowledge management depends on effective methods for capturing knowledge in useful forms and making it available when needed. Electronic concept maps provide a promising represen...
151
click to vote
ENTCS
2008
15 years 4 months ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
138
Voted
IS
2008
15 years 4 months ago
2008
In this paper, we formalize the digital library (DL) integration problem and propose an overall approach based on the 5S (streams, structures, spaces, scenarios, and societies) fr...
149
click to vote
IFIP
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The BGP protocol is at the core of the routing infrastructure of the Internet. Across years, BGP has proved to be very stable for its purpose. However, there have been so...
104
click to vote
COMPSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
We present a dialog-driven process model for the development of web-based applications that uses a graphical notation to model and iteratively refine the application’s dialog ...