4474 search results - page 266 / 895 » Design Tools for User Experience Design |
187
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
187
click to vote
ECAI
2004
Springer
16 years 1 days ago
2004
Springer
In this paper we describe the principles of the design and development of an intelligent query interface, done in the context of the SEWASIE (SEmantic Webs and AgentS in Integrated...
180
click to vote
ACSE
1997
ACM
15 years 10 months ago
1997
ACM
Literate programming is a powerful technique that helps expert programmers integrate code and documentation in a manner that assists human comprehension. To date, tools for litera...
146
click to vote
ICWSM
2008
15 years 8 months ago
2008
We developed and evaluated a visualization tool for browsing individual blog archives. In our study, we solicited qualitative feedback from the participants to explore the reasons...
188
click to vote
SPIESR
1996
15 years 8 months ago
1996
Indexing and editing digital video directly in the compressed domain offer many advantages in terms of storage efficiency and processing speed. We have designed automatic tools in...