10038 search results - page 336 / 2008 » Model Checking for Managers |
160
click to vote
IJEH
2008
2008
Facilitating superior chronic disease management through a knowledge-based systems development model
15 years 6 months ago
To date the adoption and diffusion of technology enabled solutions to deliver better healthcare has been slow. There are many reasons for this. One of the most significant is that...
192
click to vote
AIMS
2010
Springer
15 years 8 months ago
2010
Springer
Service-level agreements (SLA) definition and monitoring are open issues within the IT Service Management (ITSM) domain. Our main goals are to propose a model-based approach to IT ...
183
click to vote
HICSS
2003
IEEE
16 years 23 min ago
2003
IEEE
Organizations exist to create value that members could not create individually. They create value by harnessing the intellectual resources of their members to provide goods and se...
176
click to vote
EOR
2006
15 years 6 months ago
2006
In this paper, we present a stochastic model for the dynamic fleet management problem with random travel times. Our approach decomposes the problem into time-staged subproblems by...
240
click to vote
JDCTA
2010
15 years 1 months ago
2010
To solve the cruise two-dimensional revenue management problem and develop such an automated system under uncertain environment, a static model which is a stochastic integer progr...