10038 search results - page 296 / 2008 » Model Checking for Managers |
171
click to vote
TAP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In recent years, we see a growing awareness to the importance of assessing the quality of specifications. In the context of model checking, this can be done by analyzing ...
132
click to vote
SCM
2003
15 years 8 months ago
2003
The data models of a series of 11 configuration management systems—of varying type and complexity—are represented using containment data models. Containment data models are a s...
156
click to vote
AOSE
2007
Springer
16 years 25 days ago
2007
Springer
This paper describes how the Organization-based Multiagent Systems Engineering (O-MaSE) methodology can be applied to an exemplar multiagent system, the Conference Management Syste...
169
click to vote
EDOC
2005
IEEE
16 years 8 days ago
2005
IEEE
The management of IT landscapes consisting of thousands of business applications, different middleware systems, and supporting various business processes is a challenge for modern...
366
click to vote
HICSS
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper explores the role of Information Technology (IT) in the management of municipally-owned and operated public utilities. Through semi-structured interviews of senior mana...