4386 search results - page 127 / 878 » A Tamper-Resistant Programming Language System |
148
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
We present a new classification system for aspect-oriented programs. This system characterizes the interactions between aspects and methods and identifies classes of interactions ...
160
click to vote
EUROPAR
2006
Springer
15 years 10 months ago
2006
Springer
Resource constraints are a major concern with the design, development, and deployment of embedded systems. Embedded systems are highly hardware-dependent and have little computatio...
182
click to vote
ICALT
2003
IEEE
15 years 11 months ago
2003
IEEE
The “JavaTM Intelligent Tutoring System” (JITS) research project involves the development of a programming tutor designed for students in their first programming course in Jav...
173
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
This paper describes Kilim, a framework that employs a combination of techniques to help create robust, massively concurrent systems in mainstream languages such as Java: (i) ultra...
271
click to vote
ESOP
2011
Springer
14 years 9 months ago
2011
Springer
We develop and prove sound a concurrent separation logic for a language with Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is...