12107 search results - page 2228 / 2422 » Software That Can Think |
151
click to vote
NSPW
2006
ACM
16 years 11 days ago
2006
ACM
This paper details a true and striking paradigm shift: the use of E-Prime for (at least) user-centered security, organizational/enterprise security policies and informal security ...
167
click to vote
PLDI
2006
ACM
16 years 11 days ago
2006
ACM
Applications written in unsafe languages like C and C++ are vulnerable to memory errors such as buffer overflows, dangling pointers, and reads of uninitialized data. Such errors ...
178
click to vote
PLDI
2006
ACM
16 years 11 days ago
2006
ACM
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...
154
click to vote
PLDI
2006
ACM
16 years 11 days ago
2006
ACM
Progressing beyond the productivity of present-day languages appears to require using domain-specific knowledge. Domain-specific languages and libraries (DSLs) proliferate, but ...
177
click to vote
PLDI
2006
ACM
16 years 11 days ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...