4940 search results - page 694 / 988 » On the Complexity of Universal Programs |
179
click to vote
CCS
2007
ACM
16 years 24 days ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...
168
click to vote
ISW
2007
Springer
16 years 23 days ago
2007
Springer
Malware analysis is the process of determining the behavior and purpose of a given malware sample (such as a virus, worm, or Trojan horse). This process is a necessary step to be a...
196
click to vote
OOPSLA
2007
Springer
16 years 22 days ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
264
click to vote
SMALLTALK
2007
Springer
16 years 22 days ago
2007
Springer
Concurrency control in Smalltalk is based on locks and is therefore notoriously difficult to use. Even though some implementations provide high-level constructs, these add complexi...
194
Voted
CCS
2005
ACM
16 years 4 days ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...