4386 search results - page 133 / 878 » A Tamper-Resistant Programming Language System |
ICALP
1990
Springer
15 years 5 months ago
1990
Springer
Termrewritingsystemsare importantfor computabilitytheoryof abstractdata types,for automatictheorem proving, and for the foundationsof functionalprogramming.In this shortsurveywe pr...
118
click to vote
ESOP
2006
Springer
15 years 5 months ago
2006
Springer
Language-based information-flow analysis is promising in protecting data confidentiality. Although much work has been carried out in this area, relatively little has been done for ...
126
click to vote
JFP
2006
15 years 1 months ago
2006
This paper introduces reFLect, a functional programming language with reflection features intended for applications in hardware design and verification. The reFLect language is st...
123
click to vote
SAC
2003
ACM
15 years 6 months ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...
114
click to vote
IFIP
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. In this article we identify security threats and requirements for software agent systems in the context of an electronic market. A short description of our own agent syst...