A specification language to assist in analysis of discrete event simulation models
Communications of the ACM
DFSP: A Data Flow Signal Processor
IEEE Transactions on Computers
High-performance operating system primitives for robotics and real-time control systems
ACM Transactions on Computer Systems (TOCS)
Mathematical modeling and Ada simulation of some synchronization processes
ANSS '87 Proceedings of the 20th annual symposium on Simulation
The class kernel-models in DEVS-scheme: a hypercube architecture example
ACM SIGSIM Simulation Digest
Efficient distributed event driven simulations of multiple-loop networks
SIGMETRICS '88 Proceedings of the 1988 ACM SIGMETRICS conference on Measurement and modeling of computer systems
The architecture of an integrated symbolic simulator
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
An algorithm for parallel discrete event simulation using common memory
ACM SIGSIM Simulation Digest
A survey of discrete event simulation and state-of-the-art discrete event languages
ACM SIGSIM Simulation Digest
A multimodel methodology for qualitative model engineering
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Structural and behavioral equivalence of simulation models
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A modification of the process interaction world view
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Model base management for multifacetted systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Design and simulation of electronic meeting systems in a DEVS-Scheme environment
ACM SIGSIM Simulation Digest
ACM Transactions on Modeling and Computer Simulation (TOMACS)
The winter simulation conference: celebrating twenty-five years of progress
WSC '92 Proceedings of the 24th conference on Winter simulation
Validation and verification of simulation models
WSC '92 Proceedings of the 24th conference on Winter simulation
WSC '92 Proceedings of the 24th conference on Winter simulation
Building correct simulation models is difficult
WSC '92 Proceedings of the 24th conference on Winter simulation
A logic-based foundation of discrete event modeling and simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Parallel discrete event simulation: a modeling methodological perspective
PADS '94 Proceedings of the eighth workshop on Parallel and distributed simulation
Verification and validation of simulation models
WSC '94 Proceedings of the 26th conference on Winter simulation
Control flow graphs as a representation language
WSC '94 Proceedings of the 26th conference on Winter simulation
Parallel DEVS: a parallel, hierarchical, modular, modeling formalism
WSC '94 Proceedings of the 26th conference on Winter simulation
A qualitative simulation approach for fuzzy dynamical models
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Sensitivity analysis and optimization in simulation: design of experiments and case studies
WSC '95 Proceedings of the 27th conference on Winter simulation
WSC '95 Proceedings of the 27th conference on Winter simulation
Service quality in the management of simulation projects
WSC '95 Proceedings of the 27th conference on Winter simulation
An overview of hierarchical control flow graph models
WSC '95 Proceedings of the 27th conference on Winter simulation
A taxonomy of model abstraction techniques
WSC '95 Proceedings of the 27th conference on Winter simulation
A knowledge-based approach for the validation of simulation models: the foundation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Introduction to systems analysis, modeling and simulation
WSC '85 Proceedings of the 17th conference on Winter simulation
An expository on verification and validation of simulation models
WSC '85 Proceedings of the 17th conference on Winter simulation
WSC '85 Proceedings of the 17th conference on Winter simulation
Performance evaluation of hierarchical distributed simulators
WSC '85 Proceedings of the 17th conference on Winter simulation
Verifying and validating simulation models
WSC '96 Proceedings of the 28th conference on Winter simulation
Five-stage procedure for the evaluation of simulation models through statistical techniques
WSC '96 Proceedings of the 28th conference on Winter simulation
The object flow model for data-based simulation
WSC '93 Proceedings of the 25th conference on Winter simulation
Applying active database models for simulation
WSC '93 Proceedings of the 25th conference on Winter simulation
Employing databases for large scale reuse of simulation models
WSC '93 Proceedings of the 25th conference on Winter simulation
Hierarchical modeling for discrete event simulation (panel)
WSC '93 Proceedings of the 25th conference on Winter simulation
DEVS formalism and methodology: unity of conception/diversity of application
WSC '93 Proceedings of the 25th conference on Winter simulation
Visual modeling of DEVS-based multiformalism systems based on higraphs
WSC '93 Proceedings of the 25th conference on Winter simulation
Representing and constructing system specifications using the system entity structure concepts
WSC '93 Proceedings of the 25th conference on Winter simulation
Five simple principle of modelling
WSC '96 Proceedings of the 28th conference on Winter simulation
Complexity of simulation models: a graph theoretic approach
WSC '93 Proceedings of the 25th conference on Winter simulation
Abstraction mechanisms in discrete-event inductive modeling
WSC '96 Proceedings of the 28th conference on Winter simulation
Automatic parallelization of discrete event simulation programs
WSC '93 Proceedings of the 25th conference on Winter simulation
WADAS '92 Proceedings of the ninth Washington Ada symposium on Ada: Empowering software users and developers
Modeling formalisms for dynamic structure systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Verification and validation of simulation models
Proceedings of the 30th conference on Winter simulation
Hierarchical modular modelling in discrete simulation
Proceedings of the 30th conference on Winter simulation
Abstract simulators for the DSDE formalism
Proceedings of the 30th conference on Winter simulation
Multimodels and dynamic structure models: an integration of DSDE/DEVS and OOPM
Proceedings of the 30th conference on Winter simulation
SEAMS: simulation environment for VHDL-AMS
Proceedings of the 30th conference on Winter simulation
The rise of Web-based simulation: implications for the high level architecture
Proceedings of the 30th conference on Winter simulation
Simulation model verification and validation
WSC '91 Proceedings of the 23rd conference on Winter simulation
WSC '91 Proceedings of the 23rd conference on Winter simulation
WSC '91 Proceedings of the 23rd conference on Winter simulation
Extending common LISP object system for discrete event modeling and simulation
WSC '91 Proceedings of the 23rd conference on Winter simulation
WSC '91 Proceedings of the 23rd conference on Winter simulation
Towards a logical foundation of discrete event modeling and simulation
WSC '91 Proceedings of the 23rd conference on Winter simulation
Process control for large complex systems
WSC '91 Proceedings of the 23rd conference on Winter simulation
Theories of discrete event model abstraction
WSC '91 Proceedings of the 23rd conference on Winter simulation
Heterogeneous decomposition and inter-level coupling for combined modeling
WSC '91 Proceedings of the 23rd conference on Winter simulation
Abstraction morphisms for world modelling in high autonomy systems
WSC '91 Proceedings of the 23rd conference on Winter simulation
WSC '91 Proceedings of the 23rd conference on Winter simulation
ANSS '91 Proceedings of the 24th annual symposium on Simulation
An algorithm for parallel discrete event simulation using common memory
ANSS '89 Proceedings of the 22nd annual symposium on Simulation
A tutorial on validation and verification of simulation models
WSC '88 Proceedings of the 20th conference on Winter simulation
WSC '88 Proceedings of the 20th conference on Winter simulation
The methodology roles in the realization of a model development environment
WSC '88 Proceedings of the 20th conference on Winter simulation
Towards an implementation of a knowledge-based system design and simulation environment
WSC '88 Proceedings of the 20th conference on Winter simulation
Systems theory instrumented simulation modeling
WSC '88 Proceedings of the 20th conference on Winter simulation
Search and rescue: a case study of design flexibility
WSC '88 Proceedings of the 20th conference on Winter simulation
State event in combined simulation
WSC '88 Proceedings of the 20th conference on Winter simulation
Introduction to systems analysis, modeling and simulation
WSC '86 Proceedings of the 18th conference on Winter simulation
Credibility assessment of simulation results
WSC '86 Proceedings of the 18th conference on Winter simulation
WSC '86 Proceedings of the 18th conference on Winter simulation
Hierarchical modular modeling/knowledge representation
WSC '86 Proceedings of the 18th conference on Winter simulation
Models and artificial intelligence
WSC '87 Proceedings of the 19th conference on Winter simulation
An overview of verification and validation of simulation models
WSC '87 Proceedings of the 19th conference on Winter simulation
WSC '87 Proceedings of the 19th conference on Winter simulation
The flexible Ada simulation tool (FAST) and its extensions
WSC '87 Proceedings of the 19th conference on Winter simulation
Multifaceted, multiparadigm modeling perspectives: tools for the 90's
WSC '86 Proceedings of the 18th conference on Winter simulation
WSC '87 Proceedings of the 19th conference on Winter simulation
A new formalism for discrete event simulation
WSC '87 Proceedings of the 19th conference on Winter simulation
Using graphs to translate between world views
WSC '87 Proceedings of the 19th conference on Winter simulation
Exploring the forms of model diagnosis in a simulation support environment
WSC '87 Proceedings of the 19th conference on Winter simulation
The control and transformation metric: toward the measurement of simulation model complexity
WSC '87 Proceedings of the 19th conference on Winter simulation
A method for planning analysis and design simulation of CIM systems
WSC '87 Proceedings of the 19th conference on Winter simulation
An adaptable and distributed load adjustment algorithm
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Validation and verification of simulation models
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 1
The main issues in nonlinear simulation metamodel estimation
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 1
Validation of models: statistical techniques and data availability
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 1
Component-based simulation on the Web?
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 2
A five level hierarchy for the management of simulation models (tutorial session)
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Introduction to SIMAN (tutorial session)
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Integrated support environments for simulation modelling
WSC' 90 Proceedings of the 22nd conference on Winter simulation
The role of polymorphism in class evolution in the DEVS-scheme environment
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Simultaneous events and distributed simulation
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Experiences in developing in object-oriented modeling environment for manufacturing systems
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Fuzzy set methods for qualitative and natural language oriented simulation
WSC' 90 Proceedings of the 22nd conference on Winter simulation
OOPM/RT: a multimodeling methodology for real-time simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Parallel mixed-technology simulation
PADS '00 Proceedings of the fourteenth workshop on Parallel and distributed simulation
Redundancy in model specifications for discrete event simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Web-based simulation: revolution or evolution?
ACM Transactions on Modeling and Computer Simulation (TOMACS)
The time and state relationships in simulation modeling
Communications of the ACM - Special issue on simulation modeling and statistical computing
Concepts and criteria to assess acceptability of simulation studies: a frame of reference
Communications of the ACM - Special issue on simulation modeling and statistical computing
A methodology for cost-risk analysis in the statistical validation of simulation models
Communications of the ACM - Special issue on simulation modeling and statistical computing
Computer system design using a hierarchical approach to performance evaluation
Communications of the ACM
Repartitioning and technology mapping of electronic hybrid systems
Proceedings of the conference on Design, automation and test in Europe
ACM SIGSIM Simulation Digest
Design of a simple model descriptor and its translator for discrete event systems
ACM-SE 16 Proceedings of the 16th annual Southeast regional conference
Proceedings of the 32nd conference on Winter simulation
Distributed simulation: creating distributed simulation using DEVS M&S environments
Proceedings of the 32nd conference on Winter simulation
On simulation model complexity
Proceedings of the 32nd conference on Winter simulation
Teaching methods: how should we teach simulation?
Proceedings of the 32nd conference on Winter simulation
Simulation of user judgments in bibliographic retrieval systems
SIGIR '81 Proceedings of the 4th annual international ACM SIGIR conference on Information storage and retrieval: theoretical issues in information retrieval
Model design using hierarchical web-based libraries
Proceedings of the 39th annual Design Automation Conference
Atlas: a distributed system for the simulation of large-scale systems
Proceedings of the 10th ACM international symposium on Advances in geographic information systems
Analysis and simulation of mixed-technology VLSI Systems
Journal of Parallel and Distributed Computing - Parallel and Distributed Discrete Event Simulation--An Emerging Technology
The use of domain knowledge in program understanding
Annals of Software Engineering
N-dimensional Cell-DEVS Models
Discrete Event Dynamic Systems
DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real-Time Systems
Journal of Intelligent and Robotic Systems
CD++: a toolkit to develop DEVS models
Software—Practice & Experience
Quantized-state systems: a DEVS Approach for continuous system simulation
Transactions of the Society for Computer Simulation International - Recent advances in DEVS Methodology--part I
DEVS Simulation of distributed intrusion detection systems
Transactions of the Society for Computer Simulation International - Recent advances in DEVS Methodology--part I
Transactions of the Society for Computer Simulation International - Recent advances in DEVS Methodology--part I
DEVS Formalism: A Framework for Hierarchical Model Development
IEEE Transactions on Software Engineering
Entity Structure Based Design Methodology: A LAN Protocol Example
IEEE Transactions on Software Engineering
Generalized discrete event simulation of dynamic systems
Transactions of the Society for Computer Simulation International - Recent advances in DEVS methodology--part II
Modeling and Simulation for Detecting a Distributed Denial of Service Attack
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Simulation of Network Security with Collaboration among IDS Models
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Determining the Envelope of Emergent Agent Behaviour via Architectural Transformation
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Simulation methodology: Lessons of the Past, Challenges for the Future
WSC '83 Proceedings of the 15th conference on Winter simulation - Volume 1
WSC '83 Proceedings of the 15th conference on Winter simulation - Volume 1
A tutorial view of simulation model development
WSC '83 Proceedings of the 15th conference on Winter simulation - Volume 1
WSC '83 Proceedings of the 15th conference on Winter simulation - Volume 1
WSC '83 Proceedings of the 15th conference on Winter Simulation - Volume 2
A Hierarchical Modeling System for computer networks
Proceedings of the Computer Network Performance Symposium
Tests for the verification and validation of computer simulation models
WSC '81 Proceedings of the 13th conference on Winter simulation - Volume 2
The reduction of a discrete event simulation to a Markov chain
WSC '79 Proceedings of the 11th conference on Winter simulation - Volume 2
Validation of simulation models
WSC '79 Proceedings of the 11th conference on Winter simulation - Volume 2
A simulation course for computer science students
SIGCSE '80 Proceedings of the eleventh SIGCSE technical symposium on Computer science education
Application of modern software techniques to modeling and simulation
WSC '81 Proceedings of the 13th conference on Winter simulation - Volume 1
Foundations for an information technology
WSC '81 Proceedings of the 13th conference on Winter simulation - Volume 1
Applications of mathematical system theory to system design, modelling and simulation
WSC '81 Proceedings of the 13th conference on Winter simulation - Volume 1
Enhancement of system design and simulation via general system theories
WSC '81 Proceedings of the 13th conference on Winter simulation - Volume 1
Impact of general systems orientation: Present and future
WSC '81 Proceedings of the 13th conference on Winter simulation - Volume 1
Discrete event simulation of stochastic and deterministic sequential machine models
WSC '80 Proceedings of the 12th conference on Winter simulation
WSC '84 Proceedings of the 16th conference on Winter simulation
WSC '84 Proceedings of the 16th conference on Winter simulation
WSC '84 Proceedings of the 16th conference on Winter simulation
A tutorial on verification and validation of simulation models
WSC '84 Proceedings of the 16th conference on Winter simulation
Analytic representations of simulation
WSC '84 Proceedings of the 16th conference on Winter simulation
Minimizing system models for efficient simulation
ANSS '84 Proceedings of the 17th annual symposium on Simulation
Optimistic Synchronization of Mixed-Mode Simulators
IPPS '98 Proceedings of the 12th. International Parallel Processing Symposium on International Parallel Processing Symposium
Systems Analysis Modelling Simulation
Maurice Elzas on simulation ethics
Crossroads
Dynamic structure multiparadigm modeling and simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Using Simulation for the Validation of High Level Specifications of Control Systems
Journal of Intelligent and Robotic Systems
Investigating Ontologies for Simulation Modeling
ANSS '04 Proceedings of the 37th annual symposium on Simulation
The Discrete Event Concept as a Paradigm for the “Perception-Based Diagnosis” of Sachem
Journal of Intelligent and Robotic Systems
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Verification and validation: verification and validation of simulation models
Proceedings of the 35th conference on Winter simulation: driving innovation
Proceedings of the 35th conference on Winter simulation: driving innovation
Simulation and verification II: from timed automata to DEVS models
Proceedings of the 35th conference on Winter simulation: driving innovation
Simulation textbooks - old and new, panel: simulation text books - old and new (panel)
Proceedings of the 35th conference on Winter simulation: driving innovation
WSC '82 Proceedings of the 14th conference on Winter Simulation - Volume 1
Automating test generation for discrete event oriented embedded systems
Journal of Intelligent and Robotic Systems
Simulation
Concepts for advanced computer assisted models
ACM SIGSIM Simulation Digest
Constructs for the specifications of models and experimental frames
ACM SIGSIM Simulation Digest
Software engineering problems in the design of an integrated modelling system
ACM SIGSIM Simulation Digest
ACM SIGSIM Simulation Digest
"Some criteria for classification and evaluation of discrete event simulation languages"
ACM SIGSIM Simulation Digest
Computer-assisted modeling and simulation for time oriented systems
ACM SIGSIM Simulation Digest
Patterns of modelling: towards a conceptual basis for discrete event simulation
ACM SIGSIM Simulation Digest - Why an editor resigns
A tutorial view of simulation model development
ACM SIGSIM Simulation Digest
Validation and verification of simulation models
WSC '04 Proceedings of the 36th conference on Winter simulation
Characterizations and relationships of world views
WSC '04 Proceedings of the 36th conference on Winter simulation
Some recent advances in the process world view
WSC '04 Proceedings of the 36th conference on Winter simulation
Verification and validation of simulation models
WSC '05 Proceedings of the 37th conference on Winter simulation
Representation and analysis of spatial resources in construction simulation
WSC '05 Proceedings of the 37th conference on Winter simulation
A fuzzy set theoretic approach to validate simulation models
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Conceptual modeling for simulation: issues and research requirements
Proceedings of the 38th conference on Winter simulation
Analyzing static and temporal properties of simulation models
Proceedings of the 38th conference on Winter simulation
Ontology based representations of simulation models following the process interaction world view
Proceedings of the 38th conference on Winter simulation
Proceedings of the 38th conference on Winter simulation
On the Generality of Event-Graph Models
INFORMS Journal on Computing
Building simulated queries for known-item topics: an analysis using six european languages
SIGIR '07 Proceedings of the 30th annual international ACM SIGIR conference on Research and development in information retrieval
On Evaluating the Performability of Degradable Computing Systems
IEEE Transactions on Computers
Deterministic Simulation of Hybrid Flow Components
DS-RT '07 Proceedings of the 11th IEEE International Symposium on Distributed Simulation and Real-Time Applications
Beyond the university: simulation education on the job
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
A tutorial on verification and validation of simulation models (1984)
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
A formal verification approach for DEVS
Proceedings of the 2007 Summer Computer Simulation Conference
VLE: a multimodeling and simulation environment
Proceedings of the 2007 Summer Computer Simulation Conference
Multi-formalism modelling and model transformation for the design of reactive systems
Proceedings of the 2007 Summer Computer Simulation Conference
From a multi-agent simulation theory to GALATEA
Proceedings of the 2007 Summer Computer Simulation Conference
From abstract representation to formal modeling of tactical military operations
Proceedings of the 2007 Summer Computer Simulation Conference
The OSA project: an example of component based software engineering techniques applied to simulation
Proceedings of the 2007 Summer Computer Simulation Conference
A validation methodology for agent-based simulations
Proceedings of the 2008 ACM symposium on Applied computing
MMACTE'05 Proceedings of the 7th WSEAS International Conference on Mathematical Methods and Computational Techniques In Electrical Engineering
AMCOS'05 Proceedings of the 4th WSEAS International Conference on Applied Mathematics and Computer Science
Semantics of dynamic structure event-based systems
Proceedings of the second international conference on Distributed event-based systems
Warm-up periods in simulation can be detrimental
Probability in the Engineering and Informational Sciences
A formal framework for stochastic DEVS modeling and simulation
Proceedings of the 2008 Spring simulation multiconference
Event behavior of discrete event simulations in CD++ vs. NS-2
Proceedings of the 2008 Spring simulation multiconference
Discrete event modeling through a multi-formalism approach, from a user-oriented perspective
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
Experimental frame structuring and aggregation of source data: application to US climate normals
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
A Grid-Inspired Mechanism for Coarse-Grained Experiment Execution
DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications
a .NET Remoting-Based Distributed Simulation Approach for DEVS and Cell-DEVS Models
DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications
A Process for Human Centered Modelling of Incident Scenarios
USAB '08 Proceedings of the 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society on HCI and Usability for Education and Work
Verification and validation of simulation models
Proceedings of the 40th Conference on Winter Simulation
Conceptual modelling: knowledge acquisition and model abstraction
Proceedings of the 40th Conference on Winter Simulation
ELEMENTS OF A DOCUMENTATION FRAMEWORK FOR AGENT-BASED SIMULATION MODELS
Cybernetics and Systems - BEST OF AGENT-BASED MODELING AND SIMULATION 2008
Semantic caching for pervasive grids
IDEAS '09 Proceedings of the 2009 International Database Engineering & Applications Symposium
Practical application of "lightweight" Z in DEVS framework
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
SIMBA: A simulator for business education and research
Decision Support Systems
Information models for queueing system simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
An adaptive dynamic window binding model for RCSM
ICIC'07 Proceedings of the intelligent computing 3rd international conference on Advanced intelligent computing theories and applications
An error sharing agent for multimedia collaboration environment running on pervasive networks
ICHIT'06 Proceedings of the 1st international conference on Advances in hybrid information technology
OSIF: a framework to instrument, validate, and analyze simulations
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
A hooking method running on MHAP environment
ACE'10 Proceedings of the 9th WSEAS international conference on Applications of computer engineering
On using design patterns for DEVS modeling and simulation tools
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Verifying trace inclusion between an experimental frame and a model
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
ICIC'06 Proceedings of the 2006 international conference on Intelligent computing: Part II
Building insightful simulation models using Petri Nets - A structured approach
Decision Support Systems
A Plea for (Good) Simulations: Nudging Economics Toward an Experimental Science
Simulation and Gaming
Verification and validation of simulation models
Winter Simulation Conference
A simulation framework for DEVS-based small scale engagement model
Winter Simulation Conference
Services modeling and distributed simulation devs/HLA supported
Winter Simulation Conference
A DEVS fire jumps model and associated simulations using ForeFire
Proceedings of the 2010 Summer Computer Simulation Conference
Enhancing DEVS simulation through template metaprogramming: DEVS-MetaSimulator
Proceedings of the 2010 Summer Computer Simulation Conference
Seeding simulated queries with user-study data for personal search evaluation
Proceedings of the 34th international ACM SIGIR conference on Research and development in Information Retrieval
Graded CTL model checking for test generation
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
Taxonomy of DEVS subclasses for standardization
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
MMM'07 Proceedings of the 13th International conference on Multimedia Modeling - Volume Part II
Knowledge management based on dynamic and self-adjusting fuzzy models
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part I
How to do philosophy informationally
WM'05 Proceedings of the Third Biennial conference on Professional Knowledge Management
A system theory approach to the representation of mobile digital controllers agents
WRAC'05 Proceedings of the Second international conference on Radical Agent Concepts: innovative Concepts for Autonomic and Agent-Based Systems
Describing the HLA using the DFSS formalism
AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
Large-Scale systems design: a revolutionary new approach in software hardware co-design
AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
Discrete-Event semantics for tools for business process modeling in web-service era
AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
Using DEVS for modeling and simulation of human behaviour
AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
Controlled experimentation with agents: models and implementations
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
Design of replicated real-time database simulator
AMERICAN-MATH'12/CEA'12 Proceedings of the 6th WSEAS international conference on Computer Engineering and Applications, and Proceedings of the 2012 American conference on Applied Mathematics
An integrated framework for card-based production control systems
Journal of Intelligent Manufacturing
Data mining with cellular discrete event modeling and simulation
Proceedings of the 45th Annual Simulation Symposium
Exploring multi-level model dynamics: performance and accuracy (WIP)
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Modeling and simulation of mobile phones using dynamic topologies
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
On the representation of spatially moving entities using time-variant topologies
Proceedings of the 2011 Summer Computer Simulation Conference
Application of quantized discrete event simulation methods to naturally coupled systems
Proceedings of the 2011 Grand Challenges on Modeling and Simulation Conference
Variable structure and dynamism extensions to SiMA, a DEVS based modeling and simulation framework
SCSC '09 Proceedings of the 2009 Summer Computer Simulation Conference
From sequential machines to DEVS formalism
SCSC '09 Proceedings of the 2009 Summer Computer Simulation Conference
Simulation modeling architecture (SiMA), a DEVS based modeling and simulation framework
SCSC '09 Proceedings of the 2009 Summer Computer Simulation Conference
Single toolset modeling approaches in semiconductor manufacturing
Proceedings of the Winter Simulation Conference
A compositional approach for modeling and simulation of bio-molecular systems
Proceedings of the Winter Simulation Conference
BPMN pattern for agent-based simulation model representation
Proceedings of the Winter Simulation Conference
Verification and validation of simulation models
Proceedings of the Winter Simulation Conference
Proceedings of the Winter Simulation Conference
Verification and validation of simulation models
Proceedings of the Winter Simulation Conference
A brief history of simulation revisited
Proceedings of the Winter Simulation Conference
Towards an ontological foundation of discrete event simulation
Proceedings of the Winter Simulation Conference
The Simulation-Game Controversy: What is a Ludic Simulation?
International Journal of Gaming and Computer-Mediated Simulations
Explicit modelling of statechart simulation environments
Proceedings of the 2013 Summer Computer Simulation Conference
Simulation validation using the compatibility between simulation model and experimental frame
Proceedings of the 2013 Summer Computer Simulation Conference
Hi-index | 0.04 |