434 search results - page 46 / 87 » Logical Analysis of Hash Functions |
108
Voted
CIA
2007
Springer
15 years 6 months ago
2007
Springer
Recognizing that trust states are mental states, this paper presents a formal analysis of the dynamics of trust in terms of the functional roles and representation relations for tr...
102
click to vote
ICLP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
112
click to vote
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
80
Voted
CORR
2004
Springer
15 years 9 days ago
2004
Springer
It is well-known that freeness and linearity information positively interact with aliasing information, allowing both the precision and the efficiency of the sharing analysis of l...
118
click to vote
ATVA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. As Service-Oriented Architectures are more widely adopted, it becomes more important to adopt measures for ensuring that the services satisfy functional and non-functiona...