1599 search results - page 306 / 320 » Program Analysis for Security and Privacy |
101
click to vote
IJWIN
2006
14 years 11 months ago
2006
Abstract-- We consider a wireless sensor network consisting of a set of sensors deployed randomly. A point in the monitored area is covered if it is within the sensing range of a s...
TASE
2008
IEEE
14 years 11 months ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
JOT
2007
14 years 11 months ago
2007
While the dynamic linking mechanism of modern programming languages, such as Java, allows loading of classes dynamically, it does not allow class reloading. Hence, dynamic linking...
ISW
2007
Springer
15 years 5 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...
OOPSLA
2007
Springer
15 years 5 months ago
2007
Springer
We present a new language feature, specified as an extension to Java. The feature is a form of dispatch which includes and subsumes multimethods (see for example [3]), but which ...