116 search results - page 14 / 24 » Reasoning about XACML policies using CSP |
IMC
2003
ACM
14 years 28 days ago
2003
ACM
Border Gateway Protocol allows Autonomous Systems (ASs) to apply diverse routing policies for selecting routes and for propagating reachability information to other ASs. Although ...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
The application of reinforcement learning algorithms to Partially Observable Stochastic Games (POSG) is challenging since each agent does not have access to the whole state inform...
EPART
2011
12 years 7 months ago
2011
Abstract. The Structured Online Consultation tool (SCT) is a component tool in the IMPACT Project which is used to construct and present detailed surveys that solicit feedback from...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
— We present an algorithm that probabilistically covers a bounded region of the state space of a nonlinear system with a sparse tree of feedback stabilized trajectories leading t...
SIES
2007
IEEE
14 years 1 months ago
2007
IEEE
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...