7195 search results - page 390 / 1439 » On Computing Power |
154
Voted
ACMDIS
2006
ACM
16 years 4 days ago
2006
ACM
Gibson’s seminal concept of affordance could have real design power if it could be adequately explained as a phenomenon that happens within the scale of human lifetime. Today th...
189
Voted
DAGSTUHL
2001
15 years 7 months ago
2001
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...
134
click to vote
ACRI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Cellular Automata are a powerful formal model for describing physical and computational processes. Qualitative analysis of Cellular Automata is in general a hard problem....
171
Voted
MSS
2005
IEEE
15 years 11 months ago
2005
IEEE
The High Performance Storage System (HPSS) provides scalable hierarchical storage management (HSM), archive, and file system services. Its design, implementation and current domin...
155
click to vote
ASIACRYPT
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. At Crypto ’88, Matsumoto, Kato and Imai proposed a protocol, known as RSA-S1, in which a smart card computes an RSA signature, with the help of an untrusted powerful se...