4731 search results - page 811 / 947 » Securing Interactive Programs |
167
click to vote
OOPSLA
2007
Springer
16 years 17 days ago
2007
Springer
We present a new language feature, specified as an extension to Java. The feature is a form of dispatch which includes and subsumes multimethods (see for example [3]), but which ...
199
click to vote
LICS
2006
IEEE
16 years 13 days ago
2006
IEEE
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to cond...
178
click to vote
MMSEC
2006
ACM
16 years 12 days ago
2006
ACM
The widespread use of the Internet makes software piracy and unauthorized modification easier and more frequent. Among the many techniques developed for protecting software copyr...
179
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
An aspect observes the execution of a base program; when certain actions occur, the aspect runs some extra code of its own. In the AspectJ language, the observations that an aspec...
161
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
Parametric polymorphism has become a common feature of mainstream programming languages, but software component architectures have lagged behind and do not support it. We examine ...