4731 search results - page 542 / 947 » Securing Interactive Programs |
180
click to vote
ACMSE
2005
ACM
16 years 13 days ago
2005
ACM
In this paper, we describe our first year experiences of administering the NSF-supported Research Experiences for Undergraduates program award. Emerging issues in computer network...
215
click to vote
DRM
2005
Springer
16 years 12 days ago
2005
Springer
A software obfuscator is a program O to transform a source program P for protection against malicious reverse engineering. O should be correct (O(P) has same functionality with P)...
183
click to vote
RTA
2005
Springer
16 years 10 days ago
2005
Springer
Proof-carrying code provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set ...
171
click to vote
OOPSLA
2004
Springer
16 years 7 days ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
172
Voted
ICLP
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. The...