517 search results - page 83 / 104 » Using dynamic logic programming to model legal reasoning |
141
click to vote
FLOPS
2004
Springer
15 years 9 months ago
2004
Springer
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...
132
Voted
FPGA
2004
ACM
15 years 7 months ago
2004
ACM
Embedded systems combine a processor with dedicated logic to meet design specifications at a reasonable cost. The attempt to amalgamate two distinct design environments introduces...
173
Voted
ACSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
We present an extension of traditional "black box" fuzz testing using a genetic algorithm based upon a Dynamic Markov Model fitness heuristic. This heuristic allows us t...
128
Voted
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
207
click to vote
LICS
2003
IEEE
15 years 9 months ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...