1940 search results - page 125 / 388 » The Dynamic Logic of Permission |
147
click to vote
HPCA
2004
IEEE
16 years 6 months ago
2004
IEEE
For highest performance, a modern microprocessor must be able to determine if an instruction is ready in the same cycle in which it is to be selected for execution. This creates a...
156
click to vote
ICWS
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract--Most work on adaptive workflows offers insufficient flexibility to enforce complex policies regarding dynamic, evolvable and robust workflows. In addition, many proposed ...
200
click to vote
LOPSTR
2005
Springer
16 years 1 days ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
191
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
Dynamic Epistemic Logic (DEL) is the study of how to reason about knowledge, belief, and communication. This paper studies the relative expressivity of certain fragments of the DE...
160
click to vote
KBSE
2005
IEEE
16 years 3 days ago
2005
IEEE
Software debugging is the process of locating and correcting faulty code. Prior techniques to locate faulty code either use program analysis techniques such as backward dynamic pr...