Sciweavers

17 search results - page 3 / 4
» Temporal task footprinting: identifying routine tasks by the...
Sort
View
IUI
2006
ACM
13 years 11 months ago
SWISH: semantic analysis of window titles and switching history
Information workers are often involved in multiple tasks and activities that they must perform in parallel or in rapid succession. In consequence, task management itself becomes y...
Nuria Oliver, Greg Smith, Chintan Thakkar, Arun C....
SEKE
2010
Springer
13 years 3 months ago
Specification patterns can be formal and still easy
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
Fernando Asteasuain, Víctor A. Braberman
CHI
2011
ACM
12 years 9 months ago
LifeFlow: visualizing an overview of event sequences
Event sequence analysis is an important task in many domains: medical researchers may study the patterns of transfers within the hospital for quality control; transportation exper...
Krist Wongsuphasawat, John Alexis Guerra Gó...
BIRTHDAY
2003
Springer
13 years 11 months ago
Extreme Model Checking
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar,...
CGF
2011
12 years 9 months ago
Visual Exploration of Time-Series Data with Shape Space Projections
Time-series data is a common target for visual analytics, as they appear in a wide range of application domains. Typical tasks in analyzing time-series data include identifying cy...
Matthew O. Ward, Zhenyu Guo