660 search results - page 70 / 132 » Reasoning about Dynamic Policies |
BIRTHDAY
2005
Springer
15 years 5 months ago
2005
Springer
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...
101
click to vote
FUZZIEEE
2007
IEEE
15 years 3 months ago
2007
IEEE
A central role of Geographic Information Systems (GIS) is to allow the identification and visualisation of relevant spatial features from typically large volumes of data. This requ...
133
click to vote
PRDC
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper presents the performance analysis of several well-known partitioning scheduling algorithms in real-time and fault-tolerant multiprocessor systems. Both static and dynam...
120
click to vote
ESSLLI
2009
Springer
14 years 9 months ago
2009
Springer
We present an implemented model for speech recognition in natural environments which relies on contextual information about salient entities to prime utterance recognition. The hyp...
124
click to vote
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
Reinforcement learning problems are commonly tackled with temporal difference methods, which use dynamic programming and statistical sampling to estimate the long-term value of ta...