5757 search results - page 285 / 1152 » Dynamic Policy Programming |
177
click to vote
ISLPED
1999
ACM
15 years 11 months ago
1999
ACM
-- The goal of a dynamic power management policy is to reduce the power consumption of an electronic system by putting system components into different states, each representing ce...
185
click to vote
HOTOS
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a mechanism for inter-process communication (IPC) redirection that enables efficient and flexible access control for micro-kernel systems. In such systems, services are...
224
click to vote
FMOODS
2007
2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
15 years 8 months ago
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed systems. One objective...
216
click to vote
GLOBECOM
2008
IEEE
15 years 6 months ago
2008
IEEE
Security is a critical issue in dynamic and open distributed environments such as network-based services or wireless networks. To ensure that a certain level of security is maintai...
164
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—We provide a formal model for the Change Management process for Enterprise IT systems, and develop change scheduling algorithms that seek to attain the “change capacit...