Sciweavers

6102 search results - page 201 / 1221
» Modelling Environments for Distributed Simulation
Sort
View
AAAI
2006
15 years 7 months ago
Using an Ontology for Knowledge Acquisition
We describe an approach to distributed knowledge acquisition using an ontology. The ontology is used to represent and reason about soldier performance. These methods are embedded ...
Stacy Lovell, Webb Stacy
173
Voted
TASE
2009
IEEE
16 years 1 months ago
Environmental Simulation of Real-Time Systems with Nested Interrupts
Interrupts are important aspects of real-time embedded systems to handle events in time. When there exist nested interrupts in a real-time system, and an urgent interrupt is allow...
Guoqiang Li, Shoji Yuen, Masakazu Adachi
182
Voted
SPIN
2001
Springer
15 years 10 months ago
Transformations for Model Checking Distributed Java Programs
Abstract. This paper describes three program transformations that extend the scope of model checkers for Java programs to include distributed programs, i.e., multi-process programs...
Scott D. Stoller, Yanhong A. Liu
MASCOTS
2004
15 years 7 months ago
The N-Burst/G/1 Model with Heavy-Tailed Service-Times Distribution
This study introduces a new analytic queuing model, the N-Burst/G/1 model with heavy-tailed service-time distribution, which captures many of the issues that affect Web servers as...
Ronit Nossenson, Hagit Attiya
CG
2006
Springer
15 years 6 months ago
Melting and flowing in multiphase environment
This paper presents a method to simulate the melting and flowing phenomena with different materials in multiple phases. In such a multiphase environment, solid objects are melted ...
Ye Zhao, Lujin Wang, Feng Qiu, Arie E. Kaufman, Kl...