1932 search results - page 277 / 387 » Molecule-oriented programming in Java |
110
Voted
ESORICS
2000
Springer
15 years 4 months ago
2000
Springer
Several authors have proposed using code modification as a technique for enforcing security policies such as resource limits, access controls, and network information flows. Howeve...
90
Voted
IWMM
2000
Springer
15 years 4 months ago
2000
Springer
The IA-64, Intel's 64-bit instruction set architecture, exhibits a number of interesting architectural features. Here we consider those features as they relate to supporting ...
130
click to vote
AOSD
2008
ACM
15 years 2 months ago
2008
ACM
AspectJ was designed as a seamless aspect-oriented extension of the Java programming language. However, unlike Java, AspectJ does not have a safe type system: an accepted binding ...
109
click to vote
ISSTA
2010
ACM
15 years 2 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
197
click to vote
AVI
2000
15 years 2 months ago
2000
Declarative models play an important role in most software design activities, by allowing designs to be constructed that selectively abstract over complex implementation details. ...