5757 search results - page 40 / 1152 » Dynamic Policy Programming |
107
Voted
POLICY
2007
Springer
15 years 6 months ago
2007
Springer
Policy-based management (PBM) aims to provide flexibility in the management of resources so as to readily reflect changing business goals. However, as organizations increasingly u...
80
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
Declarative policies play a central role in many modern software systems. Engineering policies and their interactions with programs raises many interesting open questions. Categor...
ISSA
2004
15 years 1 months ago
2004
In today's hi-tech world, conventional physical security methods are simply insufficient for the protection of an organisation's information assets. This is because of t...
125
Voted
DAC
2003
ACM
16 years 1 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
106
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...