1940 search results - page 37 / 388 » The Dynamic Logic of Permission |
107
click to vote
JANCL
2007
14 years 11 months ago
2007
ABSTRACT. Statements not only update our current knowledge, but also have other dynamic effects. In particular, suggestions or commands ‘upgrade’ our preferences by changing th...
110
Voted
VTC
2010
IEEE
14 years 9 months ago
2010
IEEE
1The classic Dynamic Source Routing (DSR) protocol opts for the route requiring the lowest number of hops for transmitting data from the source to the destination. However, owing t...
AMAI
2006
Springer
14 years 12 months ago
2006
Springer
We present a tableau-based algorithm for obtaining a B
ESOP
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. A goal-independent suspension analysis is presented that infers a class of goals for which a logic program with delays can be executed without suspension. The crucial poi...
116
click to vote
APLAS
2007
ACM
15 years 3 months ago
2007
ACM
We present a resource oriented program logic that is able to reason about concurrent heap-manipulating programs with unbounded numbers of dynamically-allocated locks and threads. T...