386 search results - page 43 / 78 » Providing Fine-grained Access Control for Java Programs |
145
click to vote
CADE
2009
Springer
16 years 2 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
138
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
Program errors are a source of information leaks. Tracking these leaks is hard because error propagation breaks out of program structure. Programming languages often feature excep...
103
click to vote
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
Calling context enhances program understanding and dynamic analyses by providing a rich representation of program location. Compared to imperative programs, objectoriented program...
110
click to vote
PPPJ
2009
ACM
15 years 8 months ago
2009
ACM
Repository-based revision control systems such as CVS, RCS, Subversion, and GIT, are extremely useful tools that enable software developers to concurrently modify source code, man...
121
click to vote
ATS
2009
IEEE
15 years 7 months ago
2009
IEEE
Caches are crucial components in modern processors (both stand-alone or integrated into SoCs) and their test is a challenging task, especially when addressing complex and high-fre...