107 search results - page 13 / 22 » Beyond: collapsible tools and gestures for computational des... |
ICFEM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
BMCBI
2006
13 years 7 months ago
2006
Background: Comparing related structures and viewing the structures in the context of sequence alignments are important tasks in protein structure-function research. While many pr...
CHI
1994
ACM
13 years 11 months ago
1994
ACM
My doctoral research focuses on the usability and usage of new computer technology such as interactive systems that support the combination different input media such as voice, ge...
CHI
2002
ACM
14 years 7 months ago
2002
ACM
Email was originally designed as a tool for asynchronous communication. However, its current usage goes far beyond that. One of the most commonly performed activities in email is ...
LAWEB
2009
IEEE
14 years 2 months ago
2009
IEEE
—Computer science academics and professionals typically consider their contributions in terms of the algorithms, applications, and techniques that they develop. Yet equally impor...