Sciweavers

35 search results - page 3 / 7
» Using LSCs for scenario authoring in tactical simulators
Sort
View
EMSOFT
2011
Springer
12 years 8 months ago
Model-checking behavioral programs
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
David Harel, Robby Lampert, Assaf Marron, Gera Wei...
NETWORKING
2008
13 years 10 months ago
Thorough Analysis of 802.11e Star Topology Scenarios in the Presence of Hidden Nodes
In this paper the authors present a simulation study of two 802.11e network scenarios. The presented analysis is not only novel but most of all crucial for understanding how a theo...
Katarzyna Kosek, Marek Natkaniec, Luca Vollero
WSC
2007
13 years 11 months ago
Agent-based modeling and simulation of wildland fire suppression
Simulation of wildland fire suppression is useful to evaluate deployment plans of firefighting resources and to experiment different fire suppression strategies and tactics. Previ...
Xiaolin Hu, Yi Sun
ATAL
2011
Springer
12 years 8 months ago
ESCAPES: evacuation simulation with children, authorities, parents, emotions, and social comparison
In creating an evacuation simulation for training and planning, realistic agents that reproduce known phenomenon are required. Evacuation simulation in the airport domain requires...
Jason Tsai, Natalie Fridman, Emma Bowring, Matthew...
SCFBM
2008
138views more  SCFBM 2008»
13 years 8 months ago
Epigrass: a tool to study disease spread in complex networks
Background: The construction of complex spatial simulation models such as those used in network epidemiology, is a daunting task due to the large amount of data involved in their ...
Flávio C. Coelho, Oswaldo G. Cruz, Cl&aacut...