7080 search results - page 1013 / 1416 » Designing High Integrity Systems Using Aspects |
168
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
The Virtual Math Teams (VMT) project investigates the innovative use of online collaborative environments to support effective mathematical problem-solving by small groups of lear...
157
Voted
ACL2
2006
ACM
15 years 11 months ago
2006
ACM
Biologists studying the evolutionary relationships between organisms use software packages to solve the computational problems they encounter. Several of these problems involve th...
126
click to vote
CSCW
2004
ACM
15 years 10 months ago
2004
ACM
A framework is described for analyzing keystroke level data from instant messages (IM). This is unlike other analyses of IM which employ server-based logs of messages. This framew...
186
Voted
DBPL
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. In the context of XML data management systems, the estimation of query cardinality is becoming more and more important: the information provided by a query result estimat...
131
click to vote
MM
1994
ACM
15 years 9 months ago
1994
ACM
Paper video storyboards are still in use by even very experienced video producers with access to the most advanced video editing software. An analysis of the characteristics of pa...