Sciweavers

660 search results - page 66 / 132
» Reasoning about Dynamic Policies
Sort
View
IJCAI
1989
15 years 5 months ago
Stochastic Analysis of Qualitative Dynamics
We extend qualitative reasoning with estimations of the relative likelihoods of the pos sible qualitative behaviors . We estimate the likelihoods by viewing the dynamics o f a sys...
Jon Doyle, Elisha Sacks
UC
2009
Springer
15 years 10 months ago
Computing Domains of Attraction for Planar Dynamics
In this note we investigate the problem of computing the domain of attraction of a flow on R2 for a given attractor. We consider an operator that takes two inputs, the description...
Daniel S. Graça, Ning Zhong
139
Voted
WSC
2000
15 years 5 months ago
Look-ahead strategies for controlling batch operations in industry: overview, comparison and exploration
Batching jobs in a manufacturing system is a very common policy in most industries. The main reasons for batching are avoidance of set ups and/or facilitation of material handling...
Durk-Jouke van der Zee
WSC
2001
15 years 5 months ago
Real-time adaptive control of multi-product multi-server bulk service processes
Batching jobs in a manufacturing system is a very common policy in most industries. Main reasons for batching are avoidance of setups and/or facilitation of material handling. Bat...
Durk-Jouke van der Zee
POPL
2008
ACM
16 years 4 months ago
Cryptographically sound implementations for typed information-flow security
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
Cédric Fournet, Tamara Rezk