Sciweavers

5757 search results - page 132 / 1152
» Dynamic Policy Programming
Sort
View
ITCC
2005
IEEE
15 years 10 months ago
Formalisation and implementation of Access control models
Access control software must be based on a security policy model. Flaws in them may come from a lack of precision or some incoherences in the policy model or from inconsistencies ...
Mathieu Jaume, Charles Morisset
123
Voted
POPL
1994
ACM
15 years 9 months ago
Analyzing Logic Programs with Dynamic Scheduling
Kim Marriott, Maria J. García de la Banda, ...
ISPD
2000
ACM
108views Hardware» more  ISPD 2000»
15 years 9 months ago
A hybrid dynamic/quadratic programming algorithm for interconnect tree optimization
In this paper, we present an algorithm for delay minimization of interconnect trees by simultaneous buffer insertion/sizing and wire sizing. The algorithm integrates the quadratic...
Yu-Yen Mo, Chris C. N. Chu
ML
1998
ACM
117views Machine Learning» more  ML 1998»
15 years 4 months ago
Learning Team Strategies: Soccer Case Studies
We use simulated soccer to study multiagent learning. Each team's players (agents) share action set and policy, but may behave di erently due to position-dependent inputs. All...
Rafal Salustowicz, Marco Wiering, Jürgen Schm...
ICSM
2008
IEEE
15 years 11 months ago
Dynamic slicing of multithreaded programs for race detection
Prior work has shown that computing dynamic slices of erroneous program values can greatly assist in locating the root cause of erroneous behavior by identifying faulty statements...
Sriraman Tallam, Chen Tian, Rajiv Gupta