10038 search results - page 321 / 2008 » Model Checking for Managers |
186
Voted
ACMICEC
2006
ACM
16 years 20 days ago
2006
ACM
As third party logistic services become popular, the role of software agents increases in importance in terms of the logistics scheduling of buyers and sellers. To support many mo...
166
click to vote
SERVICES
2010
15 years 8 months ago
2010
The cloud model is increasingly popular as a means of creating dynamic, flexible and cost effective networkcentric application infrastructures. The model separates the applications...
190
click to vote
APN
1994
Springer
15 years 10 months ago
1994
Springer
In this paper we describe a modelling project to improve a nuclear waste management program in charge of the creation of a new system for the permanent disposal of nuclear waste. S...
159
click to vote
CI
2010
15 years 4 months ago
2010
A growing research community is working towards employing drama management components in story-based games. These components gently guide the story towards a narrative arc that imp...
148
click to vote
IFIP
2009
Springer
15 years 11 months ago
2009
Springer
Performance management (PM) is a key function of virtual organization (VO) management. A large set of PM indicators has been proposed and evaluated within the context of virtual br...