589 search results - page 20 / 118 » Introducing Dynamic Constraints in B |
CP
2010
Springer
13 years 6 months ago
2010
Springer
This paper presents a novel domain-consistency algorithm which does not maintain supports dynamically during propagation, but rather maintain forbidden values. It introduces the op...
EUROPAR
2010
Springer
13 years 9 months ago
2010
Springer
This paper introduces a set object, namely a shared object that allows processes to add and remove values as well as take a snapshot of its content. A new consistency condition su...
CASES
2007
ACM
13 years 12 months ago
2007
ACM
We derive analytically, the performance optimal throttling curve for a processor under thermal constraints for a given task sequence. We found that keeping the chip temperature co...
AADEBUG
1997
Springer
14 years 4 days ago
1997
Springer
We introduce an assertion language for run-time checking of linked list data structure shapes. The assertion language is expressive enough to deļ¬ne characteristic predicates for ...
SACMAT
2003
ACM
14 years 1 months ago
2003
ACM
A Generalized Temporal Role Based Access Control (GTRBAC) model that captures an exhaustive set of temporal constraint needs for access control has recently been proposed. GTRBACā...