10038 search results - page 507 / 2008 » Model Checking for Managers |
140
click to vote
ISN
1995
Springer
15 years 10 months ago
1995
Springer
Metamanagement provides a means to manage the management processes, systems and software comprising a TMN system. In this paper we present the basic requirements of metamanagement,...
150
click to vote
ECIS
2003
15 years 8 months ago
2003
Many knowledge management (KM) systems have proven unsustainable to date, exhibiting low quantities and quality of knowledge, with systems falling into disuse. In this paper, we p...
183
click to vote
NSDI
2004
15 years 8 months ago
2004
This paper focuses on load management in looselycoupled federated distributed systems. We present a distributed mechanism for moving load between autonomous participants using bil...
208
click to vote
WSC
2004
15 years 8 months ago
2004
The need for contextually rich educational experiences in construction education has led researchers to explore alternatives using gaming and simulation environments. The work don...
186
click to vote
WSC
1997
15 years 8 months ago
1997
The DoD High Level architecture (HLA) has recently become the required method for the interconnection of all DoD computer simulations. The HLA addresses the rules by which simulat...