2947 search results - page 431 / 590 » Analyzing Program Analyses |
101
click to vote
FOIKS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Argumentation-based formalisms provide a way of considering the defeasible nature of reasoning with partial and often erroneous knowledge in a given environment. This pro...
IPCO
2008
15 years 26 days ago
2008
We consider the standard semidefinite programming (SDP) relaxation for vertex cover to which all hypermetric inequalities supported on at most k vertices have been added. We show t...
129
Voted
NETWORKING
2008
15 years 26 days ago
2008
Caching popular content in the Internet has been recognized as one of the effective solution to alleviate network congestion and accelerate user information access. Sharing and coo...
SERVICES
2008
15 years 26 days ago
2008
Numerical simulators are frequently used to assess future risks, support remediation and monitoring program decisions, and assist in design of specific remedial actions with respe...
SNPD
2007
15 years 26 days ago
2007
As malicious code has become more sophisticated and pervasive, faster and more effective system for forensics and prevention is important. Particularly, quick analysis of polymorp...