2040 search results - page 307 / 408 » Understanding interaction design practices |
HICSS
2000
IEEE
14 years 5 days ago
2000
IEEE
Computer mediated communication (CMC) systems are providing new ways to communicate. Yet many text-based CMC systems do not represent the invisible, interactive practices, such as...
ERCIMDL
1998
Springer
14 years 2 hour ago
1998
Springer
As experimental digital library testbeds gain wider acceptance and develop significant user bases, it becomes important to investigate the ways in which users interact with the sys...
CAV
2007
Springer
13 years 11 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
ICALT
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract--jEditOQMath is an authoring tool for the intelligent learning environment ActiveMath. Its editing interface is a simple source editor. However the wealth and power of the...
IJBC
2008
13 years 7 months ago
2008
nodes and their interactions are abstract edges. This paper attempts to characterize the structural quality of complex software networks. We propose to use a novel statistical meas...