4460 search results - page 737 / 892 » Formal methods for interactive systems |
177
Voted
CHI
2008
ACM
15 years 5 months ago
2008
ACM
Little is known about the strategies end-user programmers use in debugging their programs, and even less is known about gender differences that may exist in these strategies. With...
143
click to vote
HUC
2010
Springer
15 years 5 months ago
2010
Springer
With a focus on presenting information at the right time, the ubicomp community can benefit greatly from learning the most salient human measures of cognitive load. Cognitive load...
145
click to vote
IVS
2008
15 years 4 months ago
2008
Supporting visual analytics of multiple large-scale multidimensional datasets requires a high degree of interactivity and user control beyond the conventional challenges of visual...
169
click to vote
JOT
2007
15 years 3 months ago
2007
Aspect-Oriented Programming is an emerging software engineering paradigm. It offers new constructs and tools improving separation of crosscutting concerns into single units called...
117
Voted
ISF
2002
15 years 3 months ago
2002
Software agent-based negotiation is a major method to automate the interactions in electronic marketplaces and Internet enabled communities. The traditional approach is to let the...