7943 search results - page 1544 / 1589 » A calculus for costed computations |
DFG
2004
Springer
15 years 1 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
CCS
2006
ACM
15 years 1 months ago
2006
ACM
Laundering email spam through open-proxies or compromised PCs is a widely-used trick to conceal real spam sources and reduce spamming cost in underground email spam industry. Spam...
FPGA
2004
ACM
15 years 1 months ago
2004
ACM
Embedded systems combine a processor with dedicated logic to meet design specifications at a reasonable cost. The attempt to amalgamate two distinct design environments introduces...
DASFAA
2006
IEEE
15 years 1 months ago
2006
IEEE
Abstract The Internet and the Web are increasingly used to disseminate fast changing data such as sensor data, traffic and weather information, stock prices, sports scores, and eve...
110
click to vote
EUROCRYPT
2006
Springer
15 years 1 months ago
2006
Springer
In this work we provide efficient distributed protocols for generating shares of random noise, secure against malicious participants. The purpose of the noise generation is to crea...