2741 search results - page 487 / 549 » Designing Law-Compliant Software Requirements |
EUROSYS
2010
ACM
15 years 7 months ago
2010
ACM
This paper presents a technique that helps automate the reverse engineering of device drivers. It takes a closed-source binary driver, automatically reverse engineers the driverā...
EUROSYS
2008
ACM
15 years 7 months ago
2008
ACM
Causal request traces are valuable to developers of large concurrent and distributed applications, yet diļ¬cult to obtain. Traces show how a request is processed, and can be anal...
112
click to vote
SOSP
2007
ACM
15 years 6 months ago
2007
ACM
We propose SecVisor, a tiny hypervisor that ensures code integrity for commodity OS kernels. In particular, SecVisor ensures that only approved code can execute in kernel mode ove...
TRUST
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Virtual Private Networks are a popular mechanism for building complex network infrastructures. Such infrastructures are usually accompanied by strict administrative restr...
PEPM
2007
ACM
15 years 3 months ago
2007
ACM
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identiļ¬cation of the...