Sciweavers

3482 search results - page 342 / 697
» Cooperative Assembly Systems
Sort
View
164
Voted
EOR
2007
85views more  EOR 2007»
15 years 6 months ago
Modeling and analysis of a supply-assembly-store chain
We consider a supply–assembly–store chain with produce-to-stock strategy, which comprises a set of component suppliers, a mixed-model assembly line with a constantly moving co...
Xiaobo Zhao, Deju Xu, Hanqin Zhang, Qi-Ming He
CAV
2007
Springer
127views Hardware» more  CAV 2007»
16 years 1 months ago
CVC3
Abstract. CVC3, a joint project of NYU and U Iowa, is the new and latest version of the Cooperating Validity Checker. CVC3 extends and builds on the functionality of its predecesso...
Clark Barrett, Cesare Tinelli
ISCC
2005
IEEE
16 years 12 days ago
Location Dependent Digital Rights Management
In this paper we present a concept and an architecture for a location dependent Digital Rights Management system. The solution is based on a trusted hardware which incorporates th...
Thomas Mundt
BIRTHDAY
2003
Springer
16 years 1 days ago
Program Synthesis for Multi-agent Question Answering
Techniques that were developed for program synthesis are being applied to allow multiple agents to communicate with each other and cooperate to solve a single problem. We illustrat...
Richard J. Waldinger, Peter Jarvis, Jennifer L. Du...
CEEMAS
2003
Springer
16 years 1 days ago
Towards Autonomy, Self-Organisation and Learning in Holonic Manufacturing
This paper intends to discuss self-organisation and learning capabilities in autonomous and cooperative holons that are part of a holonic manufacturing control system. These capabi...
Paulo Leitão, Francisco Restivo