109 search results - page 2 / 22 » A Constraint Model for State Transitions in Disjunctive Reso... |
CAV
2009
Springer
13 years 9 months ago
2009
Springer
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
ICALP
2009
Springer
14 years 5 months ago
2009
Springer
Ong has shown that the modal mu-calculus model checking problem (equivalently, the alternating parity tree automaton (APT) acceptance problem) of possibly-infinite ranked trees gen...
WSC
2007
13 years 7 months ago
2007
One of the more complex maneuvers a hospital system can perform is moving an entire patient population from an old facility to a replacement facility. All patients must be transpo...
STACS
2001
Springer
13 years 9 months ago
2001
Springer
Coalgebras for a functor on the category of sets subsume many formulations of the notion of transition system, including labelled transition systems, Kripke models, Kripke frames a...
AAAI
2011
12 years 5 months ago
2011
In environmental and natural resource planning domains actions are taken at a large number of locations over multiple time periods. These problems have enormous state and action s...