651 search results - page 93 / 131 » Precise Analysis of Java Programs Using JOANA |
122
click to vote
VMCAI
2010
Springer
15 years 11 months ago
2010
Springer
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...
117
click to vote
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
Predicting the running time of a parallel program is useful for determining the optimal values for the parameters of the implementation and the optimal mapping of data on processo...
102
click to vote
USS
2004
15 years 3 months ago
2004
Many host-based anomaly detection systems monitor a process ostensibly running a known program by observing the system calls the process makes. Numerous improvements to the precis...
121
click to vote
PPDP
2001
Springer
15 years 6 months ago
2001
Springer
In this paper we present a new type system for logic programs. Our system combines ideas of the classical polymorphic, but not very precise, system due to Mycroft and O'Keefe...
109
Voted
ESORICS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...