4386 search results - page 352 / 878 » A Tamper-Resistant Programming Language System |
132
click to vote
WEBNET
2000
15 years 5 months ago
2000
: It is always a challenge to present Web applications at a facility with no Internet connection. Traditional presentation methods such as transparencies or slides are inadequate f...
205
click to vote
POPL
2002
ACM
16 years 4 months ago
2002
ACM
We present a new role system in which the type (or role) of each object depends on its referencing relationships with other objects, with the role changing as these relationships ...
122
click to vote
RTSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedo...
149
click to vote
SASO
2008
IEEE
15 years 10 months ago
2008
IEEE
— A reconfigurable robot is a robot that can change shape. Programming reconfigurable robots is complicated by the need to adapt the behavior of each of the individual module t...
126
Voted
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We present a type system for a compile-time analysis of heapspace requirements of Java style object-oriented programs with explicit deallocation. Our system is based on a...