1437 search results - page 226 / 288 » Generalized Belief Propagation |
ESOP
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We describe a new technique for computing procedure summaries for performing an interprocedural analysis on programs. Procedure summaries are computed by performing a bac...
PEPM
2007
ACM
14 years 4 months ago
2007
ACM
Functional Reactive Programming (frp) extends traditional functional programming with dataflow evaluation, making it possible to write interactive programs in a declarative style...
DSN
2006
IEEE
14 years 4 months ago
2006
IEEE
Because “botnets” can be used for illicit financial gain, they have become quite popular in recent Internet attacks. “Honeypots” have been successfully deployed in many d...
SCAM
2006
IEEE
14 years 4 months ago
2006
IEEE
Metamorphic malware — including certain viruses and worms — rewrite their code during propagation. This paper presents a method for normalizing multiple variants of metamorphi...
SECPERU
2006
IEEE
14 years 4 months ago
2006
IEEE
To assess the trustworthiness of the information published in the World Wide Web referrals are often employed. This is due to the fact that most information sources are visited on...