4386 search results - page 215 / 878 » A Tamper-Resistant Programming Language System |
117
Voted
FMCAD
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...
137
click to vote
LCTRTS
2005
Springer
15 years 7 months ago
2005
Springer
Effective use of the memory hierarchy is critical for achieving high performance on embedded systems. We focus on the class of streaming applications, which is increasingly preval...
112
click to vote
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
A long-standing goal of software engineering is to construct software that is easily modified and extended. Recent advances in software design techniques, such as aspect-oriented ...
111
click to vote
LCTRTS
2004
Springer
15 years 7 months ago
2004
Springer
Java Card technology simplifies the development of smart card applications by providing a high-level programming language similar to Java. However, the master-slave programming m...
89
Voted
PPDP
2000
Springer
15 years 5 months ago
2000
Springer
Events play an important role in the construction of most software that involves interaction or simulation. Typically, programmers make use of a fixed set of low level events supp...