1781 search results - page 43 / 357 » Visualizing program execution using user abstractions |
103
click to vote
CASCON
1996
15 years 3 months ago
1996
The Enterprise parallel programming system allows programmers to create, compile, execute, and debug parallel applications that execute over a network of workstations. The run-tim...
129
click to vote
ASIAN
2006
Springer
15 years 5 months ago
2006
Springer
Abstract Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checkin...
121
click to vote
CRYPTO
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. In this work, we introduce one-time programs, a new computational paradigm geared towards security applications. A one-time program can be executed on a single input, who...
105
click to vote
PERVASIVE
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. One of the key challenges faced when developing contextaware pervasive systems is to capture the set of inputs that we want a system to adapt to. Arbitrarily specifying r...
CTRSA
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. The task of developing protocols for humans to securely authenticate themselves to a remote server has been an interesting topic in cryptography as a replacement for the ...