2257 search results - page 232 / 452 » Secure program partitioning |
93
Voted
OOPSLA
1989
Springer
15 years 4 months ago
1989
Springer
This paper presents a denotational model of inheritance. The model is based on an intuitive motivation of inheritance as a mechanism for deriving modified versions of recursive d...
90
Voted
ESORICS
2006
Springer
15 years 4 months ago
2006
Springer
Motivated by the need of application-level access control in dynamically extensible systems, this work proposes a static annotation system for modeling capabilies in a Java-like pr...
105
Voted
DAGSTUHL
1998
15 years 2 months ago
1998
We have identified in previous work two translations for parametrically typed extensions of Java. The homogeneous translation maps type variables to a uniform representation, while...
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
In logic metaprogramming, programs are not stored as plain textfiles but rather derived from a deductive database. While the benefits of this approach for metaprogramming are ob...
SICHERHEIT
2010
14 years 10 months ago
2010
A CAPTCHA is a program that generates challenges that are easy to solve for humans but difficult to solve for computers. The most common CAPTCHAs today are text-based ones where a ...