4386 search results - page 127 / 878 » A Tamper-Resistant Programming Language System |
SIGSOFT
2004
ACM
16 years 2 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 ...
118
click to vote
EUROPAR
2006
Springer
15 years 5 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...
127
click to vote
ICALT
2003
IEEE
15 years 6 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...
111
click to vote
ECOOP
2008
Springer
15 years 3 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...
195
click to vote
ESOP
2011
Springer
14 years 5 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...