354 search results - page 23 / 71 » On Obligations |
DAC
2004
ACM
14 years 10 months ago
2004
ACM
This paper describes a strategy for verifying data-hazard correctness of out-of-order processors that implement register-renaming. We define a set of predicates to characterize re...
ESAW
2009
Springer
14 years 4 months ago
2009
Springer
In this paper, after a short review of the dichotomous view of norms usually seen as either regular behaviors or obligations issued by authorities, norms are proposed to be defined...
FM
2009
Springer
14 years 4 months ago
2009
Springer
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...
IDEAL
2009
Springer
14 years 4 months ago
2009
Springer
Improving the detection of thermal insulation in buildings –which includes the development of models for heating and ventilation processes and fabric gain - could significantly i...
LORI
2009
Springer
14 years 4 months ago
2009
Springer
Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical...