852 search results - page 129 / 171 » Model-Checking Access Control Policies |
DSOM
2006
Springer
13 years 10 months ago
2006
Springer
Current solutions to characterize grid computing usage are limited in three important aspects. First, they do not provide a global, uniform view of the use of infrastructures compr...
ENTCS
2007
13 years 8 months ago
2007
The flow logic approach to static analysis amounts to specifying the admissibility of solutions to analysis problems; when specified using formulae in stratified alternation-fr...
TII
2008
13 years 8 months ago
2008
In distributed real-time systems, meeting the real-time constraints is mandatory but the satisfaction of other application-dependent criteria is most generally required as well. I...
ICASSP
2011
IEEE
13 years 17 days ago
2011
IEEE
In this paper, the problem of scalable video delivery over a timevarying wireless channel is considered. Packet scheduling and buffer management in both Application and Medium Acc...
WAIM
2005
Springer
14 years 2 months ago
2005
Springer
In enterprise environment, security becomes increasingly important and costly. Enterprises are struggling to protect the increasing amount of disparate resources. Simple patchwork ...