860 search results - page 111 / 172 » A Process Algebra Based Verification of a Production System |
EXPERT
2006
13 years 9 months ago
2006
Customer-driven sensor management advocates bringing ecommerce concepts and advances to bear in sensor management. In ecommerce, customer wants essentially drive the production pr...
AISC
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. Origami (paper folding) has a long tradition in Japan's culture and education. We are developing a computational origami system, based on symbolic computation system...
IDC
2009
Springer
14 years 3 months ago
2009
Springer
Abstract Multi-agent cooperation can in several cases be used in order to mitigate problems relating to task sharing within physical processes. In this paper we apply agent based s...
SIAMSC
2008
13 years 9 months ago
2008
A multilevel adaptive aggregation method for calculating the stationary probability vector of an irreducible stochastic matrix is described. The method is a special case of the ada...
AMC
2007
13 years 9 months ago
2007
This paper presents an integrated framework for assessment and ranking of manufacturing systems based on management and organizational performance indicators. The integrated appro...