4386 search results - page 230 / 878 » A Tamper-Resistant Programming Language System |
124
Voted
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
123
click to vote
LOPSTR
2004
Springer
15 years 7 months ago
2004
Springer
We address the problem of an efficient rewriting strategy for general term rewriting systems. Several strategies have been proposed over the last two decades for rewriting, the mos...
144
click to vote
ICMI
2003
Springer
15 years 7 months ago
2003
Springer
Many user interfaces, from graphic design programs to navigation aids in cars, share a virtual space with the user. Such applications are often ideal candidates for speech interfa...
120
click to vote
APLAS
2005
ACM
15 years 7 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
120
click to vote
LCTRTS
1999
Springer
15 years 6 months ago
1999
Springer
Real-time garbage collection is essential if object-oriented languages (in particular, Java) are to become predictable enough for real-time embedded systems. Although techniques f...