A specification language to assist in analysis of discrete event simulation models
Communications of the ACM
Building correct simulation models is difficult
WSC '92 Proceedings of the 24th conference on Winter simulation
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
Computational issues for accessibility in discrete event simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Redundancy in model representation: a blessing or a curse?
WSC '96 Proceedings of the 28th conference on Winter simulation
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Consistency maintenance in multiresolution simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Under-specification, composition and emergent properties
NSPW '97 Proceedings of the 1997 workshop on New security paradigms
Formal modeling and analysis of the HLA component integration standard
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
The rise of Web-based simulation: implications for the high level architecture
Proceedings of the 30th 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
Creating computer simulation systems: an introduction to the high level architecture
Creating computer simulation systems: an introduction to the high level architecture
Incorporating support for model execution within the condition specification
Transactions of the Society for Computer Simulation International
Web-based simulation: revolution or evolution?
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Elements of the Theory of Computation
Elements of the Theory of Computation
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
ECOOP '91 Proceedings of the Workshop on Object-Based Concurrent Computing
The complexity of theorem-proving procedures
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
Developing an Automated Procedure for Evaluating Software Development Methodologies and Associated Products
Model specification and analysis for discrete event simulation
Model specification and analysis for discrete event simulation
Model composability: formulating a research thrust: composable simulations
Proceedings of the 32nd conference on Winter simulation
Enterprise Simulation: framework for a strategic application
Proceedings of the 32nd conference on Winter simulation
Web II: web-based simulation of systems described by partial differential equations
Proceedings of the 33nd conference on Winter simulation
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Approximating component selection
WSC '04 Proceedings of the 36th conference on Winter simulation
A template-based conceptual modeling infrastructure for simulation of physical security systems
WSC '04 Proceedings of the 36th conference on Winter simulation
A case study of model context for simulation composability and reusability
WSC '05 Proceedings of the 37th conference on Winter simulation
Requirements for domain specific discrete event simulation environments
WSC '05 Proceedings of the 37th conference on Winter simulation
The computational complexity of component selection in simulation reuse
WSC '05 Proceedings of the 37th conference on Winter simulation
A template-based data specification framework for modeling physical security systems
Computers and Industrial Engineering
Proceedings of the 38th conference on Winter simulation
Only the Best Can Make It: Optimal Component Selection
Electronic Notes in Theoretical Computer Science (ENTCS)
Observations on new developments in composability and multi-resolution modeling
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Proceedings of the 2007 Summer Computer Simulation Conference
A survey of soft skill simulation authoring tools
Proceedings of the nineteenth ACM conference on Hypertext and hypermedia
Evaluation of ACTSim: A Composition Tool for Authoring Adaptive Soft Skill Simulations
AH '08 Proceedings of the 5th international conference on Adaptive Hypermedia and Adaptive Web-Based Systems
Design guidelines for simulation building blocks
Proceedings of the 40th Conference on Winter Simulation
Conceptual simulation modeling: the structure of domain specific simulation environment
Proceedings of the 40th Conference on Winter Simulation
Semi-automated simulation transformation for DDDAS
ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part II
Towards reusing model components in systems biology
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
PADS '12 Proceedings of the 2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation
Verifying Dynamic Semantic Composability of BOM-Based Composed Models Using Colored Petri Nets
PADS '12 Proceedings of the 2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation
Generation of an adaptive simulation driven by product trajectories
Journal of Intelligent Manufacturing
An integrated approach for the validation of emergence in component-based simulation models
Proceedings of the Winter Simulation Conference
Model theoretic implications for agent languages in support of interoperability and composability
Proceedings of the Winter Simulation Conference
Post-mortem analysis of emergent behavior in complex simulation models
Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation
Feature logic for web resources customization: Design and implementation
International Journal of Knowledge-based and Intelligent Engineering Systems
Reasoning about conceptual interoperability of simulations using meta-level graph relations
Intelligent Decision Technologies - Ontology Driven Interoperability for Agile Applications using Information Systems: Requirements and Applications for Agent Mediated Decision Support
| Hi-index | 0.00 |