651 search results - page 65 / 131 » Precise Analysis of Java Programs Using JOANA |
119
click to vote
ICTAC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...
101
click to vote
RAID
2005
Springer
15 years 8 months ago
2005
Springer
We perform host-based intrusion detection by constructing a model from a program’s binary code and then restricting the program’s execution by the model. We improve the effecti...
112
click to vote
IWPC
2006
IEEE
15 years 8 months ago
2006
IEEE
During initial program comprehension, software engineers could benefit from knowing the most need-to-beunderstood classes in the system under study in order to kick-start their s...
114
click to vote
SETP
2007
15 years 3 months ago
2007
Scientific equations embedded in computer programs must obey the rules for dimensional consistency. Many efforts have been made to enforce these rules within computer programs. So...
128
click to vote
JCS
2010
15 years 27 days ago
2010
A model of resource access control is presented in which the access control to resources can employ user interaction to obtain the necessary permissions. This model is inspired by...