3385 search results - page 556 / 677 » Language, Logic, and the Brain |
173
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
196
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
JavaScript is widely used by web developers and the complexity of JavaScript programs has increased over the last year. Therefore, the need for program analysis for JavaScript is ...
171
click to vote
OOPSLA
2009
Springer
16 years 29 days ago
2009
Springer
Programs written in managed languages are compiled to a platform-independent intermediate representation, such as Java bytecode. The relative high level of Java bytecode has engen...
176
click to vote
SACMAT
2009
ACM
16 years 28 days ago
2009
ACM
Traditional access control models, such as Role-Based Access Control (RBAC), do not take into account contextual information, such as location and time, for making access decision...
198
click to vote
TLDI
2005
ACM
15 years 12 months ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...