117
Voted
DSN
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper we introduce the logic asCSL, an extension of continuous stochastic logic (CSL), which provides powerful means to characterise execution paths of action- and state-l...
112
Voted
DSN
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper presents a multicast algorithm for peer-topeer dissemination of events in a distributed topic-based publish-subscribe system, where processes publish events of certain ...
70
Voted
CCS
2006
ACM
15 years 7 months ago
2006
ACM
109
Voted
CCS
2006
ACM
15 years 7 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...
77
Voted
CCS
2006
ACM
15 years 7 months ago
2006
ACM