4386 search results - page 253 / 878 » A Tamper-Resistant Programming Language System |
127
click to vote
ER
1998
Springer
15 years 7 months ago
1998
Springer
The development of Internet commercial applications and corporate Intranets around the world, which uses Java as the de facto standard language, is a significant topic in modern S...
SERA
2005
Springer
15 years 8 months ago
2005
Springer
: The techniques of meta-modeling and meta-levels have become a mature concept and have been largely used to solve real problems in programming languages, distributed environments,...
125
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
125
click to vote
WCET
2007
15 years 4 months ago
2007
Worst-case execution time (WCET) analysis is indispensable for the successful design and development of systems, which, in addition to their functional constraints, have to satisf...
130
click to vote
CSFW
1997
IEEE
15 years 7 months ago
1997
IEEE
A type system is given that eliminates two kinds of covert flows in an imperative programming language. The first kind arises from nontermination and the other from partial oper...