5252 search results - page 223 / 1051 » Logic in Access Control |
210
click to vote
JOLLI
2006
15 years 7 months ago
2006
Abstract. In this paper we study families of resource aware logics that explore resource restriction on rules; in particular, we study the use of controlled cut-rule and introduce ...
199
click to vote
ICWS
2008
IEEE
15 years 8 months ago
2008
IEEE
We study the access control integration problem for web services. Organizations frequently use many services, each with its own access control policies, that must interoperate whi...
206
click to vote
TMC
2008
15 years 7 months ago
2008
This paper investigates the interaction between end-to-end flow control and medium access control (MAC)-layer scheduling on wireless links. We consider a wireless network with mult...
230
click to vote
FROCOS
2005
Springer
16 years 23 days ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
176
click to vote
CDC
2009
IEEE
15 years 12 months ago
2009
IEEE
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...