Sciweavers

5336 search results - page 222 / 1068
» Steerable part models
Sort
View
WSC
2008
13 years 10 months ago
Using Operation Process Simulation for a Six Sigma project of Mining and Iron Production Factory
The use of the Operation Process Simulation (OPS) for Six Sigma Projects (SSP) can illustrate visual display of the process by enabling to define, measure, analyze and improve the...
Undram Chinbat, Soemon Takakuwa
CSFW
2008
IEEE
13 years 10 months ago
Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus
We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...
Michael Backes, Catalin Hritcu, Matteo Maffei
DBSEC
2004
97views Database» more  DBSEC 2004»
13 years 9 months ago
Configuring Storage Area Networks for Mandatory Security
Storage-area networks are a popular and efficient way of building large storage systems both in an enterprise environment and for multi-domain storage service providers. In both en...
Benjamin Aziz, Simon N. Foley, John Herbert, Garre...
WSC
2004
13 years 9 months ago
Functional Analysis for Operating Emergency Department of a General Hospital
An entire emergency department of a general hospital is simulated to examine patient flows. First, times needed for both outpatients and patients arriving via ambulance to be proc...
Soemon Takakuwa, Hiroko Shiozaki
AUTOMATICA
2005
145views more  AUTOMATICA 2005»
13 years 8 months ago
Averaging analysis of periodically forced fluid networks
For a lumped parameter model of a flow network driven by a periodic generator, we apply averaging to find an approximate solution and analyze its stability. The approximate soluti...
Olga I. Koroleva, Miroslav Krstic