4126 search results - page 638 / 826 » Set based logic programming |
140
Voted
AIL
2008
15 years 2 months ago
2008
The notions of burden of proof and presumption are central to law, but as noted in McCormick on Evidence, they are also the slipperiest of any of the family of legal terms employe...
127
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Malware detectors require a specification of malicious behavior. Typically, these specifications are manually constructed by investigating known malware. We present an automatic t...
105
click to vote
WWW
2003
ACM
16 years 3 months ago
2003
ACM
In this paper, we consider the possibility of altering the PageRank of web pages, from an administrator's point of view, through the modification of the PageRank equation. It...
136
Voted
SENSYS
2009
ACM
15 years 9 months ago
2009
ACM
The programming and retasking of sensor nodes could benefit greatly from the use of a virtual machine (VM) since byte code is compact, can be loaded on demand, and interpreted on...
104
Voted
ESOP
2001
Springer
15 years 7 months ago
2001
Springer
Constant propagation (CP) is one of the most widely used optimizations in practice (cf. [9]). Intuitively, it addresses the problem of statically detecting whether an expression al...