4386 search results - page 111 / 878 » A Tamper-Resistant Programming Language System |
TCAD
2002
15 years 1 months ago
2002
Embedded hard real-time software systems often need fine-grained parallelism and precise control of timing, things typical real-time operating systems do not provide. The Esterel l...
130
click to vote
PADO
2001
Springer
15 years 6 months ago
2001
Springer
This paper describes a run-time specialization system for the Java language. One of the main difficulties of supporting the full Java language resides in a sound yet effective ma...
124
click to vote
ICTCS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...
128
click to vote
ICTL
1994
15 years 5 months ago
1994
In this paper we present a survey of work relating to the Concurrent METATEM programming language. In addition to a description of the basic Concurrent METATEM system, which incorp...
126
click to vote
JOT
2008
15 years 1 months ago
2008
This article provides an overview of a pattern-based programming system, named Panda, for automatic generation of high-level programming language code. Many code generation system...