10038 search results - page 525 / 2008 » Model Checking for Managers |
161
click to vote
IJMMS
1998
15 years 6 months ago
1998
s the abstracted cognitive behaviours of the controllers and their tools in performingw the traffic management task. Taken together, the models provide a statement of worksystem pe...
222
click to vote
JIRS
1998
15 years 6 months ago
1998
In this paper, we advocate the use of reactive robots in industrial process control and production management. It is explained why reactive robots are well-suited to modern industr...
212
click to vote
IOR
2010
15 years 5 months ago
2010
Working in collaboration with Spain-based retailer Zara, we address the problem of distributing over time a limited amount of inventory across all the stores in a fast-fashion ret...
181
click to vote
IAT
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper deals with a multiagent self-organization process aiming to give adaptive features to distributed embedded systems involving intelligent agents in open real world. We p...
204
click to vote
ESWS
2007
Springer
16 years 1 months ago
2007
Springer
Automating business processes especially in the tertiary sector is still a challenge as they are normally knowledge intensive, little automated but compliance relevant. To meet the...