SummerSim 2010: Ottawa, ON, Canada

• A. H. M. A. Rahim, E. P. Nowicki:
  Integration of induction generator dynamics in multimachine system transient analysis. 9-16
  
• Dominic Baffo, Edward J. Williams, Onur M. Ülgen:
  Quantitative simulation approach to ameliorate deadlock concerns in automotive manufacture. 17-39
  
• Jussara M. Kofuji, Sergio Takeo Kofuji, Marcelo Knörich Zuffo:
  Analysis of X3D scene, Web3D objects and media panoramas. 40-47
  
• Ahmed Ghanmi:
  Modeling and analysis of Canadian forces RSOM hubs for northern operations. 48-55
  
• J. Manuel Colmenar, Oscar Garnica, Juan Lanchares, José Ignacio Hidalgo:
  Simulating a LAGS processor to consider variable latency on L1 D-Cache. 56-63
  
• Antonio Cimino, Francesco Longo, Giovanni Mirabelli:
  Operators training in container terminals by using advanced 3D simulation. 64-69
  
• Abderrahmane Sokri, Ahmed Ghanmi:
  Modeling and simulation of airship logistics heavy lift for military applications. 70-77
  
• Ahmed Ghanmi, Leanne Stuive, Slawomir Wesolkowski:
  Tactical vehicle fleet mix optimization. 78-85
  
• Jens Happe, Jean Berger:
  CoUAV: a multi-UAV cooperative search path planning simulation environment. 86-93
  
• Antony Zegers, Stan Isbrandt:
  The arena career modeling environment: a new workforce modeling tool for the Canadian forces. 94-101
  
• Dragos Calitoiu, Dan Milici:
  Modeling with non-cooperative agents: destructive search for randomly located objects. 102-109
  
• James E. Gentile, Gregory J. Davis, Brandy St. Laurent, Steve Kurtz:
  A framework for modeling mosquito vectors. 110-117
  
• Ryan M. Hernandez:
  Defining a simulation capability hierarchy for the modeling of a sea base enabler (SBE): innovative naval prototype (INP) transformable craft (T-Craft). 118-123
  
• John F. Richardson:
  Verbal control of mathematical tools for simulation and virtual environments. 124-132
  
• Nils Kretzschmar, Volker Schöppner:
  Simulating tightly intermeshing, co-rotating twin screw extruders with SIGMA. 133-140
  
• Adam Kleczkowski, Savi Maharaj:
  Stay at home, wash your hands: epidemic dynamics with awareness of infection. 141-146
  
• Slawomir Wesolkowski, Ziad Sakr, Bruno N. Di Stefano, Anna T. Lawniczak:
  Multiobjective evolutionary optimization of a transportation fleet with a modified monetary cost function. 147-153
  
• Charles N. Van Groningen, Mary Duffy Braun, Brian A. Craig, Charles M. Olson, Kathy Lee Simunich:
  The logistics process analysis tool (LPAT): combining agent-based and discrete event simulation techniques for improved logistics analysis. 154-159
  
• Rafal Wcislo, Pawel Gosztyla, Witold Dzwinel:
  N-body parallel model of tumor proliferation. 160-167
  
• Zhanyang Zhang, Miriam R. Tausner:
  Markov process modeling and simulation for wireless sensor network life estimation with QoS constraints. 168-173
  
• Grazziela P. Figueredo, Uwe Aickelin:
  Investigating immune system aging: system dynamics and agent-based modeling. 174-181
  
• Audrey Durand, Christian Gagné, Marc-André Gardner, François Rousseau, Yves Giguère, Daniel Reinharz:
  SCHNAPS: a generic population-based simulator for public health purposes. 182-189
  
• Xiang Ji, Yunwei Dong, Yuying Wang, Hong-bing Zhao:
  Design and implementation of configurable simulation system for embedded software based on MDA. 190-194
  
• Kyu Cheol Cho, Sung-Ho Jang, Chang Hyeon Noh, Tae-young Kim, Jong Sik Lee, Jae Min Lee, Tae Sup Kim, Kang Sun Lee:
  Route reasoning-based mobility modeling and simulation for street fight using DEVS. 195-200
  
• Ying Zhou, S. M. Niaz Arifin, James E. Gentile, Steve Kurtz, Gregory J. Davis, Barbara A. Wendelberger:
  An agent-based model of the Anopheles gambiae mosquito life cycle. 201-208
  
• Bin Chen, Hans Vangheluwe:
  Symbolic flattening of DEVS models. 209-218
  
• Marek Gayer, Juha Kortelainen, Tommi Karhela:
  CFD modelling as an integrated part of multi-level simulation of process plants: semantic modelling approach. 219-227
  
• Bahaa Nader, Jean-Baptiste Filippi, Paul Bisgambiglia:
  A DEVS fire jumps model and associated simulations using ForeFire. 228-235
  
• S. M. Niaz Arifin, Gregory J. Davis, Ying Zhou:
  Verification & validation by docking: a case study of agent-based models of Anopheles gambiae. 236-243
  
• Luis C. da Costa, Esteban Walter Gonzalez Clua, Gilson A. Giraldi, Flavia Cristina Bernardini, Reinaldo A. C. Bianchi, Bruno Schulze, Anselmo Antunes Montenegro:
  A framework of intentional characters for simulation of social behavior. 244-249
  
• Mahuna Akplogan, Gauthier Quesnel, Frédérick Garcia, Alexandre Joannon, Roger Martin-Clouaire:
  Towards a deliberative agent system based on DEVS formalism for application in agriculture. 250-257
  
• Jerry M. Feinberg, Robert J. Graebener:
  The role of MSIAC in supporting modeling and simulation. 258-263
  
• Zbigniew J. Pasek, Marzieh Mehrjoo:
  Simulation-based mapping of capacity-dependent general optimal market area model. 264-269
  
• Eric M. Upchurch, Sudhanshu K. Semwal:
  Dynamic cloud simulation using cellular automata and texture splatting. 270-277
  
• Alisson Rodrigo da Silva, Maury Meirelles Gouvêa Jr.:
  Cloud dynamics simulation with cellular automata. 278-283
  
• John A. Sokolowski, Catherine M. Banks:
  A proposed approach to modeling and simulation education for the medical and health sciences. 284-289
  
• Gilbert Arbez, Louis G. Birta:
  An activity-object world view for ABCmod conceptual models. 290-297
  
• Edgar C. Portante, James A. Kavicky, Stephen F. Folga, Brian A. Craig, Leah E. Talaber, Gustav R. Wulfkuhle:
  Simulating the impacts of a New Madrid earthquake on the regional electric infrastructure. 298-305
  
• A. Oceguera, Twan Basten, Lou J. Somers, S. Hulsenboom:
  Real-time step motor emulator for hardware-in-the-loop simulation. 306-313
  
• Ali Azadeh, M. Sheikhalishahi, M. Zamanipour:
  A new dynamic cell formation model considering machine sequence and labor-intensive situation. 314-319
  
• Yuri Boiko, Gabriel A. Wainer:
  Accelerating the computation of parallel trajectories of gradient descent with the Cell-BE multiprocessor environment. 320-327
  
• Graham Beasley:
  Insight3D: a high performance toolkit for advanced visualization of space and terrestrial environments. 328-333
  
• Michael W. Floyd, Gabriel A. Wainer:
  Creation of DEVS models using imitation learning. 334-341
  
• Shafagh Jafer, Gabriel A. Wainer:
  Conservative vs. optimistic parallel simulation of DEVS and Cell-DEVS: a comparative study. 342-349
  
• S. M. Niaz Arifin, Ryan C. Kennedy, Kelly E. Lane, Agustín Fuentes, Hope Hollocher, Gregory R. Madey:
  P-SAM: a post-simulation analysis module for agent-based models. 350-357
  
• Dmitry Zinoviev, Vy Duong:
  A game theoretical approach to modeling full-duplex information dissemination. 358-363
  
• Esther Segura Pérez, Luis Altamirano Yepez, Idalia Flores de la Mota:
  Simulation and optimization of the pre-hospital care system of the National University of Mexico using travelling salesman problem algorithms. 364-370
  
• Ping Wang, Gary Shenk, Lewis C. Linker:
  Simulation of stream denitrification for watershed model. 371-378
  
• Rosa Herrero, Daniel Guimarans, Juan José Ramos, Silvia Padrón:
  A variable neighbourhood search combining constraint programming and Lagrangean relaxation for solving routing problems. 379-386
  
• Jonathan Caux, Pridi Siregar, David Hill:
  Hash-life algorithm on 3D excitable medium application to integrative biology. 387-393
  
• Luc Touraille, Mamadou K. Traoré, David R. C. Hill:
  Enhancing DEVS simulation through template metaprogramming: DEVS-MetaSimulator. 394-402
  
• Muhammad Atif, Mohammad Reza Mousavi:
  Formal specification and analysis of accelerated heartbeat protocols. 403-412
  
• Carla Martin-Villalba, Alfonso Urquia, Sebastián Dormido:
  Development of virtual training simulators with Modelica. 413-418
  
• Pau Fonseca i Casas:
  Using specification and description language to define and implement discrete simulation models. 419-426
  
• Rahim Jassemi-Zargani, Wayne Robbins, Chris Helleur, Sean Bourdon, Nathan Kashyap, David Campbell:
  Virtual intelligence, surveillance and reconnaissance evaluation environment. 427-432
  
• Agostino G. Bruzzone, Marina Massei, Francesca Madeo, Federico Tarone:
  Modeling environmental impact and efficiency in maritime logistics. 433-438
  
• Hyeongtae Park, Jonggeun Kwak, Gi-Nam Wang, Sang-Chul Park:
  A modeling methodology for process control in the automated manufacturing system. 439-445
  
• Miquel Angel Piera, Alexey Novikov, Cesar Trapote, Juan José Ramos:
  A simulation model to improve air cargo operations in passenger aircraft. 446-451
  
• Colin Bellinger, B. John Oommen:
  On simulating episodic events against a background of noise-like non-episodic events. 452-460
  
• Miguel Mujica, Miquel Angel Piera:
  Hybrid search algorithm to optimize scheduling problems for TCPN models. 461-468
  
• Seyed Ali Etemad, Gabriel A. Wainer:
  DEVS-based modeling of a human motion data synthesis and control system. 469-474
  
• Alexander García Dávalos, Lina Escobar, Andrés Navarro Cadavid, Adriana Arteaga, Fabio Guerrero, Carlos Salazar:
  Simulation of vertical handover algorithms with NCTUns. 475-482
  
• Edwin A. Shuman:
  Understanding executable architectures through an examination of language model elements. 483-497
  
• Sanaa Lissari, Nada Farran, Hamel Yigang, Rhys Goldstein, Gabriel A. Wainer:
  Applying the TPS method to modeling and simulation of biological systems. 498-505
  
• Isaac Barjis, Khalid Samarrai, Ruwaa Samarrai, Ozcan Uzun:
  Modeling of p53 signaling pathway regulation. 506-513
  
• Isaac Barjis, David Smith, Walied Samarrai:
  Modeling and simulation of cellular transport mechanism as a game. 514-521
  
• Lorenzo Capra, Walter Cazzola:
  (Symbolic) state-space inspection of a class of dynamic Petri nets. 522-530
  
• Blerim Qela, Hussein T. Mouftah:
  Synergy of the reinforcement learning and agent-based technique for finding optimal solution in a predefined interval. 531-536
  
• Richard McCourt, Kevin Ng:
  Enhanced network modeling in ABSNEC. 537-544
  
• Sören Bergmann, Steffen Straßburger:
  Challenges for the automatic generation of simulation models for production systems. 545-549
  
• Dustyn A. Dodge, Barry E. Mullins, Gilbert L. Peterson, James S. Okolica:
  Simulating windows-based cyber attacks using live virtual machine introspection. 550-555
  
• Massoud Bazargan, Baohong Jiang:
  A simulation approach to airline maintenance manpower planning. 556-564
  
• Ricardo M. Czekster, Paulo Fernandes, Afonso Sales, Dione Taschetto, Thais Webber:
  Simulation of Markovian models using bootstrap method. 564-569
  
• Shih-Hsiang Lo, Yeh-Ching Chung:
  A scalable data distribution management approach. 570-575
  
• Nadia Souag, Saliha Tamrent, Mohamed Mokhtar Djebbour, Abdelaziz Dahmani:
  Left ventricle wall motion estimation in echocardiographic images. 576-580
  
• Lisa Jean Bair, Eric W. Weisel:
  Determining operational utility of the cultural geography model. 581-586
  
• Mamadou D. Seck:
  Modeling and simulation of conflict and peacekeeping. 587-592
  
• Johnny Garcia, Andreas Tolk:
  Adding executable context to executable architectures: shifting towards a knowledge-based validation paradigm for system-of-systems architectures. 593-600
  
• Richard McCourt, Slawomir Wesolkowski, I. Collin, Andrew Billyard:
  Multi-hop shortest path computation for rotary wing search and rescue. 601-607
  

Last update Fri May 25 08:36:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page