1131 search results - page 151 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
96
Voted
ICFP
2001
ACM
16 years 15 days ago
2001
ACM
The categorical notion of monad, used by Moggi to structure denotational descriptions, has proved to be a powerful tool for structuring combinator libraries. Moreover, the monadic...
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
A compositional method for estimating software reliability of many threaded programs is developed. The method uses estimates of the reliability of individual modules and the proba...
102
Voted
HOTDEP
2008
15 years 2 months ago
2008
We describe a technique for writing distributed applications which manage themselves over one or more utility computing infrastructures: by dynamically acquiring new computational...
AGENTS
1997
Springer
15 years 4 months ago
1997
Springer
We describe a uniform technique for representing both sensory data and the attentional state of an agent using a subset of modal logic with indexicals. The resulting representatio...
118
click to vote
AUSAI
2004
Springer
15 years 6 months ago
2004
Springer
The PolicyUpdater1 system is a fully-implemented access control system that provides policy evaluations as well as dynamic policy updates. These functions are achieved by the use o...