10038 search results - page 454 / 2008 » Model Checking for Managers |
263
click to vote
GCC
2010
Springer
15 years 5 months ago
2010
Springer
Quality of Service (QoS) is essential to datacenters, which requires effective schemes to manage the flows among numerous servers. However, existing management techniques mainly fo...
179
click to vote
CASES
2000
ACM
15 years 11 months ago
2000
ACM
Fragmentation can cause serious loss of memory in systems that are using dynamic memory management. Any useful memory management system must therefore provide means to limit fragm...
191
click to vote
WSC
2008
15 years 9 months ago
2008
Approximate dynamic programming is emerging as a powerful tool for certain classes of multistage stochastic, dynamic problems that arise in operations research. It has been applie...
190
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
One of the most challenging problems in managing large networks is the complexity of security administration. Role based access control (RBAC) has become the predominant model for...
167
click to vote
HPDC
2000
IEEE
15 years 11 months ago
2000
IEEE
Federated distributed systems present new challenges to resource management, which cannot be met by conventional systems that employ relatively static resource models and centrali...