1284 search results - page 191 / 257 » On Helping and Interactive Proof Systems |
AC
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. We describe InterPlay, a simulation engine coordinator that supports cooperation and interaction of multiple simulation and execution tools, thus helping to scale-up the ...
IWPC
2002
IEEE
14 years 2 months ago
2002
IEEE
During software evolution, several different facets of the system need to be related to one another at multiple levbstraction. Current software evolution tools have limited capabi...
UIST
1998
ACM
14 years 2 months ago
1998
ACM
The cartographic Principle of Constant Information Density suggests that the amount of information in an interactive visualization should remain constant as the user pans and zoom...
ATAL
2008
Springer
13 years 12 months ago
2008
Springer
The implementation of software systems with large numbers of heterogeneous components calls for a powerful design methodology. Although several such methodologies have been propos...
BCSHCI
2008
13 years 11 months ago
2008
We present the design of a system for Aphasics that assist them in storytelling. Storytelling, in the sense of being able to relate recent and past experiences to relevant others,...