12107 search results - page 410 / 2422 » Software That Can Think |
151
click to vote
FSE
2004
Springer
16 years 6 days ago
2004
Springer
SecurID is a widely used hardware token for strengthening authentication in a corporate environment. Recently, Biryukov, Lano, and Preneel presented an attack on the alleged SecurI...
175
click to vote
ISCIS
2004
Springer
16 years 5 days ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
170
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
Establishing a grassroots innovation pipeline has come to the fore as strategy for nurturing innovation within large organizations. A key element of such pipelines is the use of a...
170
click to vote
DSN
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper tests the hypothesis that generic recovery techniques, such as process pairs, can survive most application faults without using application-specific information. We ex...
165
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
A key enabling technology for the prolikration of multima dia PC’s is the availability of fast video codeca, which are the basic building blocks of many new multimedia applicati...