SpringSim 2011: Boston, MA, USA
Gabriel A. Wainer, Mamadou K. Traoré, Reiko Heckel, Jan Himmelspach (Eds.): 2011 Spring Simulation Multi-conference, SpringSim '11, Boston, MA, USA, April 03-07, 2011. Volume 4: Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium (TMS-DEVS). SCS/ACM 2011- Greg Franks: Simulating layered queueing networks with passive resources. 8-15
- Olivier Zanon: The SimTG simulation modeling framework a domain specific language for space simulation. 16-23
- Michael Müller, Georg-Peter Ostermeyer: Common simulation methods for heat conduction from the perspective of cellular automata. 24-33
- Saurabh Mittal, Scott A. Douglass: Net-centric act-R-based cognitive architecture with DEVS unified process. 34-44
- Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua: Synchronizing sequences on not strongly connected Petri nets. 45-50
- Zhiying Tu, Gregory Zacharewicz, David Chen: Harmonized and reversible development framework for HLA based interoperable application. 51-58
- Joachim Denil, Hans Vangheluwe, Pieter Ramaekers, Paul De Meulenaere, Serge Demeyer: DEVS for AUTOSAR platform modelling. 67-74
- Horacio Hoyos, Rubby Casallas, Fernando Jiménez, Darío Correal: HiLeS2: model driven embedded system virtual prototype generation. 75-82
- Jeffrey P. Buzen: The rationale for shaped simulation. 83-88
- Allan I. McInnes, Brian R. Thorne: ScipySim: towards distributed heterogeneous system simulation for the SciPy platform. 89-94
- Mohammad Moallemi, Gabriel A. Wainer: I-DEVS: imprecise real-time and embedded DEVS modeling. 95-102
- Shafagh Jafer, Gabriel A. Wainer: A performance evaluation of the conservative DEVS protocol in parallel simulation of DEVS-based models. 103-110
- Mohammad Moallemi, Shafagh Jafer, Ahmed Sayed Ahmed, Gabriel A. Wainer: Interfacing DEVS and visualization models for emergency management. 111-116
- Mohammad S. Raunak, Leon J. Osterweil, Alexander E. Wise: Developing discrete event simulations from rigorous process definitions. 117-124
- Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro: Performance of a multi-agent system over a multi-core cluster managed by Terracotta. 125-133
- Hoda Ahmadinejad, Fatemeh Refan, Hessam S. Sarjoughian: NoC simulation modeling in DEVS-suite. 134-139
- Valeria Perelman, Judith Somekh, Dov Dori: Model verification framework with application to molecular biology. 140-145
- Norbert Giambiasi: ISTSM: incompletely specified timed sequential machines. 146-151
- Moon Ho Hwang: Taxonomy of DEVS subclasses for standardization. 152-159
- Paolo Bocciarelli, Andrea D'Ambrogio: A BPMN extension for modeling non functional properties of business processes. 160-168
- Ronald Apriliyanto Halim: The simulation-based multi-objective evolutionary optimization (SIMEON) framework. 169-174
- Khaoula Al Ali, Wolfgang Fengler, Bernd Däne: Extended coloured Petri nets with structured tokens formal method for distributed systems. 175-182
- Xiaobo Li, Hans Vangheluwe, Yonglin Lei, Hongyan Song, Weiping Wang: A testing framework for DEVS formalism implementations. 183-188
- Pascal Weyprecht, Oliver Rose: Model-driven development of simulation solution based on SysML starting with the simulation core. 189-192
- Pamela Viale, Claudia S. Frydman, Jacques Pinaton: Constructing DEVS models based on experts' knowledge: application to STMicroelectronics' large scale manufacturing processes. 193-198
- Ki-Jeong Kwon, Chungman Seo, Bernard P. Zeigler: Automating DEVS over data distribution service for high performance and interoperability. 199-204
- Reehan Shaikh, Hans Vangheluwe: Transforming UML2.0 class diagrams and statecharts to atomic DEVS. 205-212
- Pau Fonseca i Casas, Miquel Ramo Nñerola, Angel A. Juan: Using specification and description language to represent users' profiles in OMNET++ simulations. 221-228
- Luc Touraille, Mamadou K. Traoré, David R. C. Hill: A model-driven software environment for modeling, simulation and analysis of complex systems. 229-237
- Paulo Salem da Silva, Ana Cristina Vieira de Melo: On-the-fly verification of discrete event simulations by means of simulation purposes. 238-247
- Olivier Dalle, Judicaël Ribault: Some desired features for the DEVS architecture description language. 248-255
- Saurabh Mittal, Scott A. Douglass: From domain specific languages to DEVS components: application to cognitive M&S. 256-265
- Gustavo Rau de Almeida Callou, Erica Sousa, Paulo Romero Martins Maciel, Eduardo Tavares, B. Silva, J. Figueiredo, Carlos Araújo, F. S. Magnani, F. Neves: A formal approach to the quantification of sustainability and dependability metrics on data center infrastructures. 274-281
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team