948 search results - page 16 / 190 » Analysis of SITA policies |
CSFW
2009
IEEE
15 years 1 months ago
2009
IEEE
This paper presents a language, based on transaction logic, for specifying dynamic authorisation policies, i.e., rules governing actions that may depend on and update the authoris...
JCO
2010
14 years 8 months ago
2010
This paper considers an on-line scheduling problem occurred in a service system with two classes (normal and special) of customers and two types (dedicated and flexible) of serve...
ESOP
2007
Springer
15 years 3 months ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
PE
2010
Springer
14 years 8 months ago
2010
Springer
Correlations in traffic patterns are an important facet of the workloads faced by real systems, and one that has far-reaching consequences on the performance and optimization of t...
144
click to vote
ICA3PP
2011
Springer
13 years 9 months ago
2011
Springer
Abstract. Resource provisioning is one of the main challenges in resource sharing environments such as multi-cluster Grids. In these environments each cluster serves requests from ...