2560 search results - page 411 / 512 » Analysis Tool for Honeypot Systems |
SIGIR
2008
ACM
15 years 1 months ago
2008
ACM
In this paper, we look at the "social tag prediction" problem. Given a set of objects, and a set of tags applied to those objects by users, can we predict whether a give...
108
click to vote
JWSR
2007
15 years 1 months ago
2007
: Business processes continue to play an important role in today’s service-oriented enterprise computing systems. Mining, discovering, and integrating process-oriented services h...
114
click to vote
RAID
2010
Springer
15 years 5 days ago
2010
Springer
Malicious software includes functionality designed to block discovery or analysis by defensive utilities. To prevent correct attribution of undesirable behaviors to the malware, it...
113
click to vote
CG
2011
Springer
14 years 8 months ago
2011
Springer
In previous work we introduced a construction to produce multiresolutions from given subdivisions. A portion of that construction required solving bilinear equations using a symbo...
132
Voted
TII
2010
14 years 8 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...