4731 search results - page 117 / 947 » Securing Interactive Programs |
ENTCS
2000
13 years 8 months ago
2000
The NuPRL system [3] was designed for interactive writing of machine
SIGADA
2004
Springer
14 years 2 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
DAC
2003
ACM
14 years 10 months ago
2003
ACM
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...
CCS
2007
ACM
14 years 3 months ago
2007
ACM
Despite the recent advances in the theory underlying obfuscation, there still is a need to evaluate the quality of practical obfuscating transformations more quickly and easily. T...
APCHI
1998
IEEE
14 years 1 months ago
1998
IEEE
Cleogo is a novel groupware environment that allows several users to simultaneously develop programs through any mixture of three alternative programming metaphors: a direct manip...