3792 search results - page 747 / 759 » Techniques for Trusted Software Engineering |
104
Voted
ISW
2007
Springer
15 years 6 months 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...
110
click to vote
MSWIM
2006
ACM
15 years 6 months ago
2006
ACM
In this paper, we define a model of an ad hoc routing protocol, i.e. the OLSR (Optimized Link-State Routing) protocol. This model handles novel constraints related to such networ...
101
Voted
PLDI
2006
ACM
15 years 6 months ago
2006
ACM
Procedures have long been the basic units of compilation in conventional optimization frameworks. However, procedures are typically formed to serve software engineering rather tha...
116
click to vote
PLDI
2006
ACM
15 years 6 months ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...
85
Voted
UIST
2006
ACM
15 years 6 months ago
2006
ACM
This paper presents a novel interactive system for guiding artists to paint using traditional media and tools. The enabling technology is a multi-projector display capable of cont...