10038 search results - page 1734 / 2008 » Model Checking for Managers |
165
click to vote
SACMAT
2009
ACM
15 years 11 months ago
2009
ACM
The role-based access control (RBAC) model has proven to be cost effective to reduce the complexity and costs of access permission management. To maximize the advantages offered...
185
click to vote
SIGMETRICS
2000
ACM
15 years 10 months ago
2000
ACM
— The conventional wisdom has been that IP is the natural protocol layer for implementing multicast related functionality. However, more than a decade after its initial proposal,...
162
Voted
SIGMETRICS
2000
ACM
15 years 10 months ago
2000
ACM
The Differentiated services (diffserv) architecture has been proposed as a scalable solution for providing service differentiation among flows without any per-flow buffer manage...
197
click to vote
AGENTS
2000
Springer
15 years 10 months ago
2000
Springer
This paper attempts to articulate the general role of infrastructure for multi-agent systems (MAS), and why infrastructure is a particularly critical issue if we are to increase th...
203
click to vote
WACC
1999
ACM
15 years 10 months ago
1999
ACM
The effort in software process support has focused so far on modeling and enacting processes. A certain amount of work has been done, but little has reached a satisfactory level o...