1760 search results - page 252 / 352 » Program Analysis Using Weighted Pushdown Systems |
104
click to vote
WWW
2004
ACM
16 years 2 months ago
2004
ACM
This paper presents a search architecture that combines classical search techniques with spread activation techniques applied to a semantic model of a given domain. Given an ontol...
AIRWEB
2007
Springer
15 years 8 months ago
2007
Springer
Redirection spam presents a web page with false content to a crawler for indexing, but automatically redirects the browser to a different web page. Redirection is usually immediat...
115
click to vote
SIAMJO
2008
15 years 2 months ago
2008
We consider a rather general class of mathematical programming problems with data uncertainty, where the uncertainty set is represented by a system of convex inequalities. We prove...
121
Voted
ACMSE
2009
ACM
15 years 8 months ago
2009
ACM
Most modern microprocessor-based systems provide support for superpages both at the hardware and software level. Judicious use of superpages can significantly cut down the number...
106
click to vote
APLAS
2004
ACM
15 years 7 months ago
2004
ACM
Abstract. In component-based programming, the programmer assembles applications from prefabricated components. The assembly process has two main steps: adapting a component by twea...