4386 search results - page 756 / 878 » A Tamper-Resistant Programming Language System |
130
click to vote
BIRTHDAY
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
142
click to vote
ARTS
1997
Springer
15 years 5 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
ICCAD
1996
IEEE
15 years 5 months ago
1996
IEEE
We propose a new method for generating BDDs from hardware algorithm descriptions written in a programming language. Our system can deal with control structures, such as conditiona...
106
click to vote
ICDT
1997
ACM
15 years 5 months ago
1997
ACM
We develop a new schema for unstructured data. Traditional schemas resemble the type systems of programming languages. For unstructured data, however, the underlying type may be mu...
CSFW
2004
IEEE
15 years 5 months ago
2004
IEEE
Our goal in this paper is to make secure information flow typing more practical. We propose simple and permissive typing rules for array operations in a simple sequential imperati...