12981 search results - page 309 / 2597 » Model Checking (Abstract) |
139
Voted
FLOPS
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Subtyping tends to undermine the effects of parametric polymorphism as far as the static detection of type errors is concerned. Starting with this observation we present...
123
click to vote
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
acement of Crime (extended abstract) Tibor Bosse and Charlotte Gerritsen and Mark Hoogendoorn and S. Waqar Jaffry and Jan Treur1 Within Criminology, the process of crime displaceme...
154
Voted
FMCO
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
127
Voted
ICTCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed to study historybased access control. It allows for parametrized security policies with a possibly nested, local scope. To gov...
123
Voted
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract A Boolean function is called normal if it is constant on flats of certain dimensions. This property is relevant for the construction and analysis of cryptosystems. This p...