Sciweavers

12032 search results - page 493 / 2407
» Simulation of Manufacturing Systems
Sort
View
FASE
2006
Springer
15 years 10 months ago
Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
Peter Csaba Ölveczky, Marco Caccamo
ER
1997
Springer
112views Database» more  ER 1997»
15 years 10 months ago
Perspectives in Modeling: Simulation, Database, and Workflow
Development of today's advanced applications is increasingly being accomplished using multi-faceted modeling. For example, the areas of simulation and workflow modeling genera...
John A. Miller, Amit P. Sheth, Krys Kochut
AAAI
2008
15 years 9 months ago
Incorporating Mental Simulation for a More Effective Robotic Teammate
How can we facilitate human-robot teamwork? The teamwork literature has identified the need to know the capabilities of teammates. How can we integrate the knowledge of another ag...
William G. Kennedy, Magdalena D. Bugajska, William...
WSC
2008
15 years 9 months ago
A simulation study of interventions to reduce appointment lead-time and patient no-show rate
A problem in health care is the lengthy waiting time for patients to receive an appointment. Long appointment delays cause patient dissatisfaction with the health care clinic and ...
Ronald E. Giachetti
AMDO
2006
Springer
15 years 9 months ago
Interactive Soft Object Simulation with Quadratic Finite Elements
Abstract. We present a new method to simulate deformable volumetric objects interactively using finite elements. With quadratic basis functions and a non-linear strain tensor, we a...
Johannes Mezger, Wolfgang Straßer