10038 search results - page 312 / 2008 » Model Checking for Managers |
171
click to vote
SEBD
2003
15 years 8 months ago
2003
Abstract. In this paper, we present the preliminary results of an ongoing research activity concerning the temporal management of normative texts in XML format. In particular, four...
187
click to vote
NOMS
2008
IEEE
16 years 1 months ago
2008
IEEE
—Automatic service and application deployment and management is becoming possible through the use of service and infrastructure discovery and policy systems. But using the infras...
201
click to vote
WSC
2007
15 years 9 months ago
2007
Efficiently planning and managing workforce is a challenge imposed on many companies, especially for those in the service industry. The target of an effective workforce management...
130
click to vote
ICCS
2004
Springer
16 years 1 days ago
2004
Springer
In this paper we develop a dynamic stochastic programming model for bond portfolio management. A new risk measurement-shortfall cost is put forward. It allows more tangible express...
183
click to vote
KBSE
2005
IEEE
16 years 7 days ago
2005
IEEE
We describe an architecture modeling and code generation framework called Bamboo. Using Bamboo, engineers design SCM repository and feature models, and then generate a running SCM...