Sciweavers

367 search results - page 58 / 74
» Industrial validation of COVAMOF
Sort
View
ISTA
2004
15 years 7 months ago
Evidential Paradigm and Intelligent Mathematical Text Processing
Abstract: This paper presents the evidential paradigm of computer-supported mathematical assistance in "doing" mathematics and in reasoning activity. At present, the evid...
Alexander V. Lyaletski, Anatoly E. Doroshenko, And...
FTCS
1998
79views more  FTCS 1998»
15 years 7 months ago
Proving Correctness of a Controller Algorithm for the RAID Level 5 System
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing
PDPTA
2000
15 years 7 months ago
ORB Instrumentation for Management of CORBA
Object middleware, such as CORBA, is rapidly gaining acceptance as a means for cost effective and fast development for a wide range of applications in various areas of industry. St...
Maarten Wegdam, Dirk-Jaap Plas, Aart van Halteren,...
WSC
1996
15 years 7 months ago
Supporting Manufacturing with Simulation: Model Design, Development, and Deployment
In this paper, we identify and discuss the features we believe are key to the successful use of simulation as a manufacturing support tool. The discussion begins with three sample...
Frank Chance, Jennifer Robinson, John W. Fowler
CCE
2008
15 years 6 months ago
Chemical supply chain network optimization
Chemical supply chain networks provide large opportunities for cost reductions through the redesign of the flow of material from producer to customer. In this paper we present a m...
Jeff Ferrio, John Wassick