4917 search results - page 763 / 984 » Software Engineering is Not Computer Science |
172
click to vote
FOSSACS
2005
Springer
16 years 22 hour ago
2005
Springer
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...
174
click to vote
FOSSACS
2005
Springer
16 years 22 hour ago
2005
Springer
Abstract. Nominal logic is a variant of first-order logic equipped with a “freshname quantifier” N and other features useful for reasoning about languages with bound names. I...
176
click to vote
FOSSACS
2005
Springer
16 years 22 hour ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
168
click to vote
FOSSACS
2005
Springer
16 years 22 hour ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
153
click to vote
FOSSACS
2005
Springer
16 years 22 hour ago
2005
Springer
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...