4386 search results - page 197 / 878 » A Tamper-Resistant Programming Language System |
160
Voted
PLSA
1994
15 years 5 months ago
1994
A machine_independent abstract program representation is presented that is twice as compact as machine code for a CISC processor. It forms the basis of an implementation, in which ...
118
Voted
EMSOFT
2004
Springer
15 years 7 months ago
2004
Springer
Esterel is a system-level language for the modelling, verification and synthesis of control dominated (reactive) embedded systems. Existing Esterel compilers generate intermediat...
116
click to vote
GI
2004
Springer
15 years 7 months ago
2004
Springer
: There is an emerging amount of software for generating and manipulating XML documents. This paper addresses the problem of guaranteeing the validity of dynamically generated XML ...
117
click to vote
ENTCS
2007
15 years 1 months ago
2007
The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive systems. This language allows one to model in a very intuitive way typica...
104
click to vote
WOA
2004
15 years 3 months ago
2004
Abstract-- In this article we present a visual development environment for writing DyLOG programs, explaining the motivations to this work and the main design choices. We will also...