10038 search results - page 502 / 2008 » Model Checking for Managers |
206
click to vote
MIDDLEWARE
2004
Springer
16 years 13 days ago
2004
Springer
Several works on grid computing have been proposed in the last years. However, most of them, including available software, can not deal properly with some issues related to contro...
192
click to vote
WSC
2004
15 years 8 months ago
2004
Stream Option Manager (SOM) is a set of mathematical tools developed at The MITRE Corporation's Center for Advanced Aviation System Development (CAASD). While still under dev...
229
click to vote
TKDE
2008
15 years 7 months ago
2008
Data stream management systems need to control their resources adaptively since stream characteristics and query workload may vary over time. In this paper we investigate an approa...
195
click to vote
RBAC
1997
15 years 8 months ago
1997
Role Based Access Control is only a subset of the security management and distributed systems management. Yet, the characteristics and use of the role objects in RBAC or Role Base...
181
click to vote
POLICY
2007
Springer
16 years 1 months ago
2007
Springer
Policy-based management (PBM) aims to provide flexibility in the management of resources so as to readily reflect changing business goals. However, as organizations increasingly u...