Sciweavers

12032 search results - page 92 / 2407
» Simulation of Manufacturing Systems
Sort
View
CPE
2000
Springer
369views Hardware» more  CPE 2000»
15 years 7 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 4 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
123
Voted
IAAI
1993
15 years 4 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 3 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...
128
Voted
ENTCS
2002
72views more  ENTCS 2002»
15 years 3 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...