10038 search results - page 413 / 2008 » Model Checking for Managers |
177
click to vote
NOMS
2000
IEEE
15 years 11 months ago
2000
IEEE
Telephone Switches are characteristically long-lived, evolving systems. We describe how a legacy two-tier system for telephone switch management was reengineered as a three-tier w...
169
click to vote
SPIN
1999
Springer
15 years 11 months ago
1999
Springer
One of the difficulties of using model checkers “in the large” is the management of all (generated) data during the validation trajectory. It is important that the results obta...
146
click to vote
WSC
2008
15 years 9 months ago
2008
A qualification management software that proposes recipe qualifications on tools in toolsets for semiconductor manufacturing has been developed. The qualification proposals are ba...
162
click to vote
JIKM
2002
15 years 6 months ago
2002
This paper proposes the integration of The Competing Values Framework (Quinn 1984; 1988) with Nonaka and Takeuchi's (1995) knowledge creation and conversion model. Conceptual...
168
click to vote
WSC
2008
15 years 9 months ago
2008
This article discusses management tasks that have to be supported for an efficient re-use of simulation models within HLA-based distributed simulation environments. After a review...