10038 search results - page 412 / 2008 » Model Checking for Managers |
184
click to vote
HICSS
2003
IEEE
16 years 4 days ago
2003
IEEE
Our Distributed Telecommunication Management System (DTMS) uses an object-oriented model to describe the networked Voice Communication System (VCS) to be managed. In order to allo...
247
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes Aerogility - an intelligent decision support system for managing service-based aftermarkets. Aerogility uses multi-agent software technology to implement a dy...
181
click to vote
AAAI
2010
15 years 8 months ago
2010
We consider the task of assigning experts from a portfolio of specialists in order to solve a set of tasks. We apply a Bayesian model which combines collaborative filtering with a...
172
click to vote
ICCS
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Modeling is considered an inherent part of design, operation and optimization of Water Quality Systems. Models are used for running so-called Virtual Experiments, such as...
145
click to vote
DSRT
2005
IEEE
16 years 14 days ago
2005
IEEE
The paper presents a load management mechanism for distributed simulations of multi-agent systems. The mechanism minimises the cost of accessing the shared state in the distribute...