2257 search results - page 435 / 452 » Secure program partitioning |
177
Voted
OOPSLA
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
165
Voted
OOPSLA
2007
Springer
16 years 15 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 ...
198
click to vote
LICS
2006
IEEE
16 years 11 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...
165
Voted
ASPLOS
2006
ACM
16 years 10 days ago
2006
ACM
While the number of transistors on a chip increases exponentially over time, the productivity that can be realized from these systems has not kept pace. To deal with the complexit...
180
Voted
MM
2006
ACM
16 years 10 days ago
2006
ACM
We present “equiveillance” as a conceptual framework for understanding the balance between surveillance and sousveillance. In addition to this conceptual framework we also pre...