Sign for Notice Everyday    Sign Up| Sign In| Link| English|
Home Post Event 2025Event 2026Event By Topic By Country Contact

Our Sponsors


    TMS/DEVS 2012 - 2012 Symposium on Theory of Modeling and Simulation (TMS/DEVS)

    View: 619

    Website www.tms-devs.org/doku.php | Want to Edit it Edit Freely

    Category TMS/DEVS 2012

    Deadline: November 15, 2011 | Date: March 26, 2012-March 29, 2012

    Venue/Country: Orlando, U.S.A

    Updated: 2011-09-25 16:47:24 (GMT+9)

    Call For Papers - CFP

    The purpose of this symposium is to provide a forum to discuss most recent advancements in Theory of Modeling and Simulation. The main focus is on theory of modeling, methodology, practice and software to cope with the challenges arising out of these, as well as lessons learned and challenges. The intention of the Symposium is to bride different areas in the field of Theory of Modeling and Simulation, including formal modeling, model-checking, graph transformation, modeling methodologies. It also provides an opportunity to exchange ideas with other SpringSim'11 symposia participants in different fields.

    Topics of interest include (but are not limited to) the following:

    Theory

    DEVS, Petri-nets, Finite State Machines, Timed Automata, Process Algebras, Queueing Networks, etc.

    Hybrid system modeling and integration of formalisms

    Formal analysis and symbolic reasoning

    Model Checking

    Graph Transformations

    Activity paradigm: Complex adaptive systems, tracking, awareness

    Methodology

    parallel & distributed simulators and simulations

    Interoperability simulators (grid, cloud, web services…)

    M&S Engineering

    M&S-Based development methods

    Practice and Lessons Learned

    Military systems and infrastructures

    Real-time and embedded systems

    High performance computing

    Cloud and service-oriented computing

    Software-intensive/networked systems

    Transportation and traffic systems

    Ecological and environmental systems

    Systems-of-systems and ultra large scale systems

    Standards

    M&S Software

    M&S Software including frameworks and libraries for DEVS, Petri Nets, Finite State Machines, Timed Automata, Process Algebras, Queueing Networks, etc.

    Education aspects of Theory of Modeling and Simulation

    Keywords: Accepted papers list. Acceptance Rate. EI Compendex. Engineering Index. ISTP index. ISI index. Impact Factor.
    Disclaimer: ourGlocal is an open academical resource system, which anyone can edit or update. Usually, journal information updated by us, journal managers or others. So the information is old or wrong now. Specially, impact factor is changing every year. Even it was correct when updated, it may have been changed now. So please go to Thomson Reuters to confirm latest value about Journal impact factor.