Sciweavers

12032 search results - page 92 / 2407
» Simulation of Manufacturing Systems
Sort
View
CPE
2000
Springer
369views Hardware» more  CPE 2000»
15 years 10 months ago
Petri Net Modelling and Performability Evaluation with TimeNET 3.0
Abstract. This paper presents TimeNET, a software tool for the modelling and performability evaluation using stochastic Petri nets. The tool has been designed especially for models...
Armin Zimmermann, Jörn Freiheit, Reinhard Ger...
SCS
2004
15 years 7 months ago
On Wheels, Nuts and Software
In this paper I examine the issue of whether we can trust software systems and put forward an argument that in an absolute sense the answer must necessarily be no for a multitude ...
Michael Ellims
IAAI
1993
15 years 7 months ago
Computer-Aided Parts Estimation
In 1991 Ford began deployment of the Computer Aided Parts Estimating System (CAPE), a highly advanced knowledge-based system designed to generate, evaluate and cost automotive par...
Adam Cunningham, Robert Smart
CERA
2007
67views more  CERA 2007»
15 years 6 months ago
Engineered-to-order Approach for Providing Flexibility in e-Commerce of Mold Parts
: In the mold parts industry, customers typically place orders for order-made parts with some changes to the design specifications of ready-made parts within the extent of the manu...
Duhwan Mun, Kwangsub Jang, Soonhung Han, Junhwan K...
ENTCS
2002
72views more  ENTCS 2002»
15 years 6 months ago
A Symbolic Out-of-Core Solution Method for Markov Models
Despite considerable effort, the state-space explosion problem remains an issue in the analysis of Markov models. Given structure, symbolic representations can result in very comp...
Marta Z. Kwiatkowska, Rashid Mehmood, Gethin Norma...