1492 search results - page 176 / 299 » Accessibility and computer science education |
172
click to vote
ACMSE
1992
ACM
15 years 10 months ago
1992
ACM
A scheme for disk subsystem performance enhancement that is based on (virtual) cylinder remapping is proposed. A natural workload on a real system is measured, and statistical tes...
132
click to vote
CSCW
1992
ACM
15 years 10 months ago
1992
ACM
Although talkhtg is an integral part of collaborative activity, there has been little computer support for acquiring and accessing the contents of conversations. Our approach has ...
205
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
157
click to vote
IJIPT
2008
15 years 6 months ago
2008
: Scientific computations and collaborations increasingly rely on the network to provide high-speed data transfer, dissemination of results, access to instruments, support for comp...
154
click to vote
TCS
2010
15 years 1 months ago
2010
Constructions of cryptographic primitives based on general assumptions (e.g., one-way functions) tend to be less efficient than constructions based on specific (e.g., number-theor...