4386 search results - page 444 / 878 » A Tamper-Resistant Programming Language System |
242
click to vote
POPL
2001
ACM
16 years 4 months ago
2001
ACM
Secure Safe Ambients (SSA) are a typed variant of Safe Ambients [9], whose type system allows behavioral invariants of ambients to be expressed and verified. The most significant a...
134
click to vote
VRML
1999
ACM
15 years 8 months ago
1999
ACM
This paper describes several methods for using the Virtual Reality Modeling Language (VRML) as the visualization integration technology for manufacturing simulation systems. One o...
137
Voted
ECOOP
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects...
142
click to vote
OOPSLA
1989
Springer
15 years 8 months ago
1989
Springer
Method inheritance and data abstraction are central features of objectoriented programming that are attained through a hierarchical organization of classes. Recent studies have sh...
198
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Heterogeneous multi-core processors, such as the IBM Cell processor, can deliver high performance. However, these processors are notoriously difficult to program: different cores...