4386 search results - page 516 / 878 » A Tamper-Resistant Programming Language System |
144
Voted
WISES
2003
15 years 5 months ago
2003
— Java, a popular programming language on desktop systems, is rarely used in embedded systems. Some features of Java, like thread support in the language, could greatly simplify ...
118
click to vote
LCTRTS
2004
Springer
15 years 10 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
144
Voted
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
module is a programming abstraction that simultaneously generalizes -abstractions, records, and mutually recursive definitions. Although various mixin module type systems have bee...
131
Voted
ECOOP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Integrated development environments have been designed and engineered to display structural information about the source code of large systems. When a development task li...
111
Voted
APLAS
2008
ACM
15 years 6 months ago
2008
ACM
Abstract. We study the problem of generating a test sequence that achieves maximal coverage for a reactive system under test. We formulate the problem as a repeated game between th...