Sciweavers

5757 search results - page 79 / 1152
» Dynamic Policy Programming
Sort
View
SIGMETRICS
2010
ACM
139views Hardware» more  SIGMETRICS 2010»
15 years 7 months ago
On the flow-level dynamics of a packet-switched network
: The packet is the fundamental unit of transportation in modern communication networks such as the Internet. Physical layer scheduling decisions are made at the level of packets, ...
Ciamac Cyrus Moallemi, Devavrat Shah
131
Voted
ICFEM
2007
Springer
15 years 8 months ago
Formal Engineering of XACML Access Control Policies in VDM++
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
Jeremy Bryans, John S. Fitzgerald
QRE
2010
129views more  QRE 2010»
15 years 29 days ago
Improving quality of prediction in highly dynamic environments using approximate dynamic programming
In many applications, decision making under uncertainty often involves two steps- prediction of a certain quality parameter or indicator of the system under study and the subseque...
Rajesh Ganesan, Poornima Balakrishna, Lance Sherry
138
Voted
CORR
2011
Springer
176views Education» more  CORR 2011»
14 years 9 months ago
Maximizing Cloud Providers Revenues via Energy Aware Allocation Policies
—Cloud providers, like Amazon, offer their data centers’ computational and storage capacities for lease to paying customers. High electricity consumption, associated with runni...
Michele Mazzucco, Dmytro Dyachuk, Ralph Deters
112
Voted
TRUSTBUS
2009
Springer
15 years 9 months ago
Operational Semantics for DKAL: Application and Analysis
DKAL is a new expressive high-level authorization language. It has been successfully tried at Microsoft which led to further improvements of the language itself. One improvement is...
Yuri Gurevich, Arnab Roy