5830 search results - page 178 / 1166 » Automatic link generation |
117
click to vote
COMPLEX
2009
Springer
15 years 11 months ago
2009
Springer
Security vendors are facing a serious problem of defeating the complexity of malwares. With the popularity and the variety of zeroday malware over the Internet, generating their si...
116
click to vote
AVI
2000
15 years 6 months ago
2000
This paper proposes a technique for generating more comprehensible animations from discussions, which are often hard to follow, in USENET. This technique consists of two steps. In...
160
click to vote
FAC
2010
15 years 2 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
136
click to vote
CPP
2011
14 years 4 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...
133
click to vote
CAAN
2004
Springer
15 years 10 months ago
2004
Springer
We consider a generalized copy model of the web graph and related networks, and analyze its limiting behaviour. The model is motivated by previously proposed copying models of the ...