2950 search results - page 438 / 590 » Computing with Infinitely Many Processes |
128
Voted
RAID
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Many host-based anomaly detection systems monitor process execution at the granularity of system calls. Other recently proposed schemes instead verify the destinations of...
105
click to vote
SAT
2007
Springer
15 years 8 months ago
2007
Springer
In this paper a new circuit sat based encoding of boolean formula is proposed. It makes an original use of the concept of restrictive models introduced by Boufkhad to polynomially ...
159
Voted
VLDB
2007
ACM
15 years 8 months ago
2007
ACM
In many applications, the underlying data (the web, an XML document, or a relational database) can be seen as a graph. These graphs may be enriched with weights, associated with t...
128
click to vote
3DPVT
2006
IEEE
15 years 8 months ago
2006
IEEE
Range sensing technology allows the photo-realistic modeling of large-scale scenes, such as urban structures. A major bottleneck in the process of 3D scene acquisition is the auto...
100
Voted
ACSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
Malicious mass-mailing activity on the Internet is a serious and continuing threat that includes mass-mailing worms, spam, and phishing. A mechanism commonly used to deliver such ...