7404 search results - page 540 / 1481 » New Tools in Education |
155
click to vote
RE
2004
Springer
16 years 17 days ago
2004
Springer
This paper addresses the issues related to improving the overall quality of the requirements tracing process for Independent Verification and Validation analysts. The contribution...
180
click to vote
VLDB
2004
ACM
16 years 16 days ago
2004
ACM
PLASTIC [1] is a recently-proposed tool to help query optimizers significantly amortize optimization overheads through a technique of plan recycling. The tool groups similar quer...
162
click to vote
ICCS
2003
Springer
16 years 12 days ago
2003
Springer
As computer systems grow in size and complexity, tool support is needed to facilitate the efficient mapping of large-scale applications onto these systems. To help achieve this ma...
171
click to vote
SCAM
2002
IEEE
16 years 3 days ago
2002
IEEE
Tools that analyze and enhance large-scale software systems using symbolic reasoning are computationally expensive, and yet processors are cheap. We believe that enabling tools wi...
172
click to vote
CHI
2009
ACM
15 years 12 months ago
2009
ACM
Organizational processes often take place over long periods of time and require intermittent attention. Remembering and reasoning about upcoming process tasks is important, but no...