10038 search results - page 655 / 2008 » Model Checking for Managers |
184
click to vote
IM
2003
15 years 8 months ago
2003
: The network management area has some proposals to use XML to encode information models and managed object instances. In this paper we present a solution to dynamically create SNM...
198
click to vote
PERCOM
2008
ACM
15 years 7 months ago
2008
ACM
In this paper 1 we describe the design, implementation and evaluation of a software framework that supports the development of mobile, context-aware trails-based applications. A t...
262
click to vote
ICPPW
2009
IEEE
16 years 2 months ago
2009
IEEE
—Federated computing environments offer requestors the ability to dynamically invoke services offered by collaborating providers in the virtual service network. Without an effici...
182
click to vote
BDIM
2007
IEEE
16 years 1 months ago
2007
IEEE
— Corporate decision makers have normally been disconnected from the details of the security management infrastructures of their organizations. The management of security resourc...
192
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
On-demand media stream processing service provisioning on top of a service overlay network (SON) has emerged as a promising approach to providing quality-aware and failure-resilie...