1411 search results - page 266 / 283 » Interactive Coding for Interactive Proofs |
MM
2009
ACM
15 years 4 months ago
2009
ACM
This paper describes the concepts behind and implementation of the multimedia art work Alan01 / AlanOnline, which wakes up the 1952 criminally convicted Alan Turing as a piece of ...
SIGCOMM
2009
ACM
15 years 4 months ago
2009
ACM
By studying trouble tickets from small enterprise networks, we conclude that their operators need detailed fault diagnosis. That is, the diagnostic system should be able to diagno...
WECWIS
2007
IEEE
15 years 3 months ago
2007
IEEE
Business Process Execution Language (BPEL) is an XML-based language for specifying services. There have been numerous recent research and development efforts in both statically an...
106
click to vote
ICS
2007
Tsinghua U.
15 years 3 months ago
2007
Tsinghua U.
Strassen’s matrix multiplication (MM) has benefits with respect to any (highly tuned) implementations of MM because Strassen’s reduces the total number of operations. Strasse...
ASWEC
2006
IEEE
15 years 3 months ago
2006
IEEE
An SQL injection attack targets interactive web applications that employ database services. These applications accept user inputs and use them to form SQL statements at runtime. D...