A Debugging Scheme for Declarative Equation Based Modeling Languages
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Applied system simulation
CoJava: a unified language for simulation and optimization
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Journal of Computer Science and Technology - Special section on China AVS standard
Languages and tools for hybrid systems design
Foundations and Trends in Electronic Design Automation
Journal of Intelligent Information Systems
Model-driven constraint programming
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling
Models in Software Engineering
Exploring Multi-Paradigm Modeling Techniques
Simulation
Proceedings of the First International Workshop on Digital Engineering
Collaborative modelling and co-simulation in the development of dependable embedded systems
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Controlling search in constrained-object models
IBERAMIA'10 Proceedings of the 12th Ibero-American conference on Advances in artificial intelligence
The problem with time in mixed continuous/discrete time modelling
ACM SIGBED Review - Work-in-Progress (WiP) Session of the 2nd International Conference on Cyber Physical Systems
A virtual experiment platform for mechanism motion cognitive learning
Proceedings of the 2011 international conference on Virtual and mixed reality: systems and applications - Volume Part II
CoJava: optimization modeling by nondeterministic simulation
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
International Journal of Decision Support System Technology
Optimizing Procurement Decisions in Networked Virtual Enterprises
International Journal of Decision Support System Technology
Supporting Agile Organizations with a Decision Guidance Query Language
Journal of Management Information Systems
Hi-index | 0.00 |