1880 search results - page 273 / 376 » A Static Analysis for Beta-Binders |
144
click to vote
SE
2008
15 years 7 months ago
2008
: In many of today's application programs, security functionality is inseparably intertwined with the actual mission-purpose logic. As a result, the trusted code base is unnec...
160
click to vote
DIMVA
2006
15 years 7 months ago
2006
Incomplete or improper input validation is one of the major sources of security bugs in programs. While traditional approaches often focus on detecting string related buffer overfl...
155
click to vote
FMOODS
2006
15 years 7 months ago
2006
Abstract. With model-driven development being on the verge of becoming an industrial standard, the need for systematic development strategies based on safe model transformations is...
158
click to vote
USS
2004
15 years 7 months ago
2004
Privilege separation partitions a single program into two parts: a privileged program called the monitor and an unprivileged program called the slave. All trust and privileges are...
163
Voted
RIAO
2000
15 years 7 months ago
2000
We consider the application of machine learning techniques for sequence modeling to Information Retrieval (IR) and surface Information Extraction (IE) tasks. We introduce a generi...