Sciweavers

23630 search results - page 424 / 4726
» Common Information Model
Sort
View
WSC
2007
15 years 9 months ago
Measuring manufacturing throughput using takt time analysis and simulation
This paper is motivated by a case study performed at a company that manufactures two main types of customized products. In an effort to significantly increase their throughput cap...
Jun Duanmu, Kevin Taaffe
ESORICS
2008
Springer
15 years 8 months ago
Sharemind: A Framework for Fast Privacy-Preserving Computations
Gathering and processing sensitive data is a difficult task. In fact, there is no common recipe for building the necessary information systems. In this paper, we present a provably...
Dan Bogdanov, Sven Laur, Jan Willemson
FTCS
1998
114views more  FTCS 1998»
15 years 8 months ago
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
Vicky Hartonas-Garmhausen, Sérgio Vale Agui...
163
Voted
WSC
1998
15 years 8 months ago
Comparison of Bayesian and Frequentist Assessments of Uncertainty for Selecting the Best System
An important problem in discrete-event stochastic simulation is the selection of the best system from a finite set of alternatives. There are many techniques for ranking and selec...
Koichiro Inoue, Stephen E. Chick
CORR
2006
Springer
122views Education» more  CORR 2006»
15 years 6 months ago
Unification of multi-lingual scientific terminological resources using the ISO 16642 standard. The TermSciences initiative
The TermSciences initiative aims at building a multi-purpose and multi-lingual knowledge system from different source vocabularies produced by major French research institutions a...
Majid Khayari, Stéphane Schneider, Isabelle...