10038 search results - page 369 / 2008 » Model Checking for Managers |
160
Voted
ENTCS
2010
15 years 6 months ago
2010
In this paper, we present a formal model, named PobSAM (Policy-based Self-Adaptive Model), for modeling self-adaptive systems. In this model, policies are used as a mechanism to d...
189
click to vote
MACE
2009
Springer
16 years 1 months ago
2009
Springer
Learned models of behavior have the disadvantage that they must be retrained after any change in system configuration. Autonomic management methods based upon learned models lose ...
168
click to vote
INAP
2001
Springer
15 years 11 months ago
2001
Springer
Three different security models have been advocated to determine the access rights to documents in a network of computers; DAC, MLS, and RBAC. Each of these models has its strengt...
170
click to vote
BPM
2007
Springer
15 years 10 months ago
2007
Springer
Learning how to improve business processes is an evolutionary process that must be managed as other business processes (BPs) are managed in modern organizations. The proposed model...
154
click to vote
MDAFA
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. As part of the AMMA project (ATLAS Model Management Architecture), we are currently building several model management tools to support the tasks of modeling in the large ...