10038 search results - page 490 / 2008 » Model Checking for Managers |
186
click to vote
DSOM
2005
Springer
16 years 18 days ago
2005
Springer
Current network management architectures are using different models to define management information objects. These definitions actually also include, in a non-formal way, the defi...
237
click to vote
IPPS
2002
IEEE
15 years 12 months ago
2002
IEEE
Conventional network management is based on SNMP and often run in a centralized manner. Although the centralized management approach gives network administrators a flexibility of ...
190
click to vote
NOMS
2002
IEEE
15 years 12 months ago
2002
IEEE
The management of policies in large-scale systems is complex because of the potentially large number of policies and administrators, as well as the diverse types of information th...
212
click to vote
JNSM
2000
15 years 6 months ago
2000
The successful deployment of next-generation distributed multimedia systems is signi cantly dependent on the e cient management support that improves the performance and the relia...
189
click to vote
SEUS
2008
IEEE
16 years 1 months ago
2008
IEEE
The concepts of Autonomic and Organic Computing (AC/OC) promise to make modern computer systems more secure and easier to manage. In this paper, we extend the observer/controller a...