Foreword: The DEVS Core and Challenges to Its Continued Development / Bernard P. Zeigler
Contributors
Theory / Section I:
DEVS as a Semantic Domain for Programmed Graph Transformation / Eugene Syriani ; Hans VangheluweChapter 1:
System State Identification Using DEVS / Norbert Giambiasi ; Diego Llarrull ; Maximiliano CristiáChapter 2:
A Formal Definition of Dynamic Structure Discrete-Flow Components / Fernando BarrosChapter 3:
Continuous System Simulation and Control / Ernesto Kofman ; François E. Cellier ; Gustavo MigoniChapter 4:
Methodology and Tools / Section II:
Heterogeneous Model Composability / Hessam S. Sarjoughian ; Gary R. MayerChapter 5:
Effective and Efficient Modeling and Simulation with DEVS Variants / Adelinde M. Uhrmacher ; Jan Himmelspach ; Roland EwaldChapter 6:
Object-Oriented Comodeling Methodology for Development of Domain Specific DEVS Models / Chang Ho Sung ; Tag Gon KimChapter 7:
A Framework for Simulation-Based Structure and Parameter Optimization of Discrete-Event Systems / Olaf Hagendorf ; Thorsten PawlettaChapter 8:
Parallel Simulation of DEVS and Cell-DEVS Models in PCD++ / Gabriel A. Wainer ; Qi Liu ; Shafagh JaferChapter 9:
From Virtual to Real-A Progressive Simulation-Based Design Framework / Xiaolin HuChapter 10:
Applications / Section III:
Formalization for Formal Verification of an Optical Network-on-Chip Using DEVS / Luiza Gheorghe Iugan ; Gabriela Nicolescu ; Ian O'ConnorChapter 11:
Construction Simulation Using Cell-DEVS Modeling / Amin Hammad ; Hong Pang ; Cheng ZhangChapter 12:
Stochastic Modeling Strategies for the Simulation of Large (Spatial) Distributed Systems: Application to Fire Spread / Alexandre Muzy ; David R.C. HillChapter 13:
Environmental Models in DEVS: Different Approaches for Different Applications / Jean-Baptiste Filippi ; Teruhisa KomatsuChapter 14:
U.S. Symposium on Rock Mechanics ; US-Canada Rock Mechanics Symposium ; American Rock Mechanics Association
出版情報:
Alexandria, Va. : American Rock Mechanics Association , Red Hook, NY : Printed from e-media with permission by: Curran Associates, 2011, c2010 744 p. ; 27 cm
U.S. Symposium on Rock Mechanics ; US-Canada Rock Mechanics Symposium ; American Rock Mechanics Association
出版情報:
Alexandria, Va. : American Rock Mechanics Association , Red Hook, NY : Printed from e-media with permission by: Curran Associates, 2011, c2010 p. 745-1494 ; 27 cm
U.S. Symposium on Rock Mechanics ; US-Canada Rock Mechanics Symposium ; American Rock Mechanics Association
出版情報:
Alexandria, Va. : American Rock Mechanics Association , Red Hook, NY : Printed from e-media with permission by: Curran Associates, 2011, c2010 p. 1495-2243 ; 27 cm
US Rock Mechanics/Geomechanics Symposium ; American Rock Mechanics Association
出版情報:
Alexandria, Va. : American Rock Mechanics Association , Red Hook, NY : Printed from e-media with permission by Curran Associates, 2011 p. 778-1568 ; 27 cm
US Rock Mechanics/Geomechanics Symposium ; American Rock Mechanics Association
出版情報:
Alexandria, Va. : American Rock Mechanics Association , Red Hook, NY : Printed from e-media with permission by Curran Associates, 2011 p. 1569-2350 ; 27 cm