Sciweavers

2212 search results - page 378 / 443
» Approaches to Hospital Process Management
Sort
View
WSC
2007
14 years 12 days ago
Simulation tool for manpower forecast loading and resource leveling
Large scale / mega projects are lengthy complex endeavors that require significant planning by management, engineers and construction personnel to ensure the success of the projec...
Mikhail Hanna, Janaka Y. Ruwanpura
APN
2008
Springer
14 years 3 days ago
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
Kais Klai, Denis Poitrenaud
HAIS
2010
Springer
14 years 3 days ago
Analysing the Low Quality of the Data in Lighting Control Systems
Energy efficiency represents one of the main challenges in the engineering field, i.e., by means of decreasing the energy consumption due to a better design minimising the energy ...
José Ramón Villar, Enrique A. de la ...
CAISE
2008
Springer
14 years 3 days ago
An Hybrid Design Solution For Spacecraft Simulators
Abstract. The European Space Agency (ESA) has created the Simulation Model Portability 2 (SMP2) standard with the purpose to provide a design solution for the project of Spacecraft...
Vitor Rodrigues, João Correia Lopes, Ana Mo...
CAISE
2008
Springer
14 years 3 days ago
Round-Trip Engineering for Maintaining Conceptual-Relational Mappings
Conceptual-relational mappings between conceptual models and relational schemas have been used increasingly to achieve interoperability or overcome impedance mismatch in modern dat...
Yuan An, Xiaohua Hu, Il-Yeol Song