10038 search results - page 434 / 2008 » Model Checking for Managers |
147
click to vote
ICSM
2005
IEEE
16 years 16 days ago
2005
IEEE
This paper describes a case study of the release management of CS-ECIS, a health-care information system developed by the Dutch software vendor ChipSoft. We performed this case st...
175
Voted
PADS
1996
ACM
15 years 11 months ago
1996
ACM
Recently, a considerable amount of effort in the U.S. Department of Defense has been devoted to defining the High Level Architecture (HLA) for distributed simulations. This paper ...
187
click to vote
CAISE
2008
Springer
15 years 9 months ago
2008
Springer
The definition of Information System do not consider individual as a component of the Information System. In this paper we present our postulates, and our definition of Knowledge M...
212
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
From the point of view of an operating system, a computer is managed and optimized in terms of the application programming model and the management of system resources. For the TF...
156
click to vote
KBSE
2005
IEEE
16 years 16 days ago
2005
IEEE
Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompass...