Sciweavers

3605 search results - page 255 / 721
» System and simulation modeling using SysML
Sort
View
102
Voted
WSC
2004
15 years 5 months ago
Traffic Flow Management Modeling and Operational Complexity
Traffic Flow Management (TFM) actions are commonly used to mitigate capacity/demand imbalances within the National Airspace System (NAS). Modeling TFM events has proven challengin...
Brendan Patrick Hogan, Leonard A. Wojcik
113
Voted
ICSE
2000
IEEE-ACM
15 years 7 months ago
An inheritance-based technique for building simulation proofs incrementally
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...
Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexand...
ICEB
2004
234views Business» more  ICEB 2004»
15 years 5 months ago
A Component-based Framework for Distributed Business Simulations in E-Business Environments
Simulations preserve the knowledge of complex dynamic systems and consequently transfer the knowledge of the cohesions of its elements to a specified target group. As the progress...
Alexander Hampel, Edward Bernroider
180
Voted
PRESENCE
2008
185views more  PRESENCE 2008»
15 years 3 months ago
Pilot Evaluation Study of a Virtual Paracentesis Simulator for Skill Training and Assessment: The Beneficial Effect of Haptic Di
Effective, real-time training of health care professionals in invasive procedures is a challenging task. Furthermore, assessing in practice the acquisition of the dexterity and sk...
Costas S. Tzafestas, Kostas Birbas, Yiannis Koumpo...
119
Voted
INFORMATICALT
2008
120views more  INFORMATICALT 2008»
15 years 3 months ago
Nonlinear Behaviour in the MPI-Parallelised Model of the Rat Somatosensory Cortex
Mammalian brains consisting of up to 1011 neurons belong to group of the most complex systems in the Universe. For years they have been one of the hardest objects of simulation. Th...
Grzegorz M. Wojcik, Wieslaw A. Kaminski