Sciweavers

17680 search results - page 393 / 3536
» Simulation of Computer Systems and Applications
Sort
View
142
Voted
FORMATS
2009
Springer
15 years 8 months ago
Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation
Abstract In this paper we focus on property-preserving preorders between timed game automata and their application to control of partially observable systems. We define timed weak ...
Peter Bulychev, Thomas Chatain, Alexandre David, K...
WSC
2007
15 years 7 months ago
Modeling and simulation of group behavior in e-government implementation
This study proposes a multi-agent modeling and simulation approach using EGGBM (E-Government Group Behavior Model) to research complex group behavior in Egovernment implementation...
Jiang Wu, Bin Hu
WSC
2008
15 years 7 months ago
Using simulation in the implementation of an Outpatient Procedure Center
Creation of an Outpatient Procedure Center (OPC) is a complicated endeavor, requiring a detailed understanding of the resources available and the procedures to be performed. Misca...
Todd R. Huschka, Brian T. Denton, Bradly J. Narr, ...
HPDC
1999
IEEE
15 years 9 months ago
Remote Application Scheduling on Metacomputing Systems
Efficient and robust metacomputing requires the decomposition of complex jobs into tasks that must be scheduled on distributed processing nodes. There are various ways of creating...
Heath A. James, Kenneth A. Hawick
ICCS
2007
Springer
15 years 11 months ago
Enabling Very-Large Scale Earthquake Simulations on Parallel Machines
Abstract. The Southern California Earthquake Center initiated a major largescale earthquake simulation called TeraShake. The simulations propagated seismic waves across a domain of...
Yifeng Cui, Reagan Moore, Kim Olsen, Amit Chourasi...