5757 search results - page 128 / 1152 » Dynamic Policy Programming |
184
click to vote
TDSC
2008
15 years 4 months ago
2008
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
142
click to vote
CCS
2010
ACM
15 years 3 months ago
2010
ACM
Cross-domain information exchange is a growing problem, as business and governmental organizations increasingly need to integrate their information systems with those of partially...
152
click to vote
NETCOOP
2007
Springer
15 years 11 months ago
2007
Springer
In this paper we study a pursuit problem in the context of a wireless sensor network, where the pursuer (i.e., mobile sink) trying to capture a pursuee (i.e., tracked object), movi...
195
Voted
WCFLP
2005
ACM
15 years 10 months ago
2005
ACM
Program slicing is a well-known technique that extracts from a program those statements which are relevant to a particular criterion. While static slicing does not consider any in...
151
click to vote
NDSS
2003
IEEE
15 years 10 months ago
2003
IEEE
Everyday network interactions require users to give out their email address, yet no guarantees can be made about how this address will be used. Sometimes the address is given to a...