109 search results - page 1 / 22 » A Constraint Model for State Transitions in Disjunctive Reso... |
83
Voted
CSCLP
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Traditional resources in scheduling are simple machines where a capacity is the main restriction. However, in practice there frequently appear resources with more complex...
85
Voted
FLAIRS
2006
15 years 8 days ago
2006
Constraint-based techniques are frequently used in solving real-life scheduling problems thanks to natural modeling capabilities and strong constraint propagation techniques encod...
95
Voted
CHARME
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
122
Voted
RTAS
1998
IEEE
15 years 3 months ago
1998
IEEE
This paper introduces FARA, a framework that provides abstractions and mechanisms for building integrated adaptation and resource allocation services in complex real-time systems....
CCS
2007
ACM
15 years 5 months ago
2007
ACM
In this paper, we study the maintenance of role-based access control (RBAC) models in database environments using transitive closure relations. In particular, the algorithms that ...