首页>外文会议>其他>Theory of modeling & simulation: DEVS integrative M&S symposium 2011.

Theory of modeling & simulation: DEVS integrative M&S symposium 2011.

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Using Specification and Description Language to represent users' profiles in OMNET++ simulations

机译：使用规范和描述语言表示OMNET ++仿真中的用户资料
- 作者：Pau Fonseca i Casas;Miquel Ramo Ninerola;Angel A. Juan
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
- discrete-event simulation;
- multi-agent systems;
- computer networks;
- human behavior;
- omnet++;
2.GATLAS: GOOGLE EARTH VISUALIZATION FOR ATLAS

机译：GATLAS：针对ATLAS的Google地球可视化
- 作者：Ken Edwards;Gabriel Wainer
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
3.A Formal Approach to the Quantification of Sustainability and Dependability Metrics on Data Center Infrastructures

机译：量化数据中心基础设施上的可持续性和可靠性指标的一种正式方法
- 作者：G. Callou;E. Sousa;P. Maciel;E. Tavares;B. Silva;J. Figueiredo;C. Araujo;F. Magnani;F. Neves
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
- sustainability and dependability evaluation;
- petri nets;
- reliability block diagrams;
- data center design;
4.TMS (DEVS)'11 Chairs'message

机译：TMS（DEVS）'11主席的消息
- 作者：Gabriel A. Wainer;Mamadou K. Traore;Reiko Heckel;Jan Himmelspach
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
5.CONSTRUCTING DEVS MODELS BASED ON EXPERTS' KNOWLEDGE: APPLICATION TO STMICROELECTRONICS' LARGE SCALE MANUFACTURING PROCESSES

机译：基于专家的知识构建DEVS模型：在STMICROELECTRONICS的大规模生产过程中的应用
- 作者：Pamela Viale;Claudia Frydman;Jacques Pinaton
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
- workflows;
- experts' knowledge;
- processes;
6.On-The-Fly Verification of Discrete Event Simulations by Means of Simulation Purposes

机译：通过仿真目的对离散事件仿真进行实时验证
- 作者：Paulo Salem da Silva;Ana C. V. de Melo
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
- formal method;
- approximate verification;
- testing;
- experimentation;
7.Common simulation methods for heat conduction from the perspective of Cellular Automata

机译：从细胞自动机的角度来看常见的热传导模拟方法
- 作者：Michael Mueller;Georg-Peter Ostermeyer
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
- finite elements;
- finite differences;
- finite volumes;
- system matrices;
- neighborhood;
- discrete interaction;
8.Developing Discrete Event Simulations From Rigorous Process Definitions

机译：从严格的流程定义开发离散事件模拟
- 作者：Mohammad S. Raunak;Leon J. Osterweil;Alexander Wise
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
9.Simulating Layered Queueing Networks with Passive Resources

机译：用被动资源模拟分层排队网络
- 作者：Greg Franks
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
- layered queueing network simulation;
- MARTE UML profile;
- passive resources;
- logical resources;
10.Harmonized and Reversible development framework for HLA based interoperable application

机译：基于HLA的可互操作应用程序的协调和可逆开发框架
- 作者：Zhiying Tu;Gregory Zacharewicz;David Chen
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
- interoperability;
- HLA;
- model discovery;
- HLA evolved;
11.Transforming UML2.0 Class Diagrams and Statecharts to Atomic DEVS

机译：将UML2.0类图和状态图转换为原子DEVS
- 作者：Reehan Shaikh;Hans Vangheluwe
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
- UML2.0;
- class diagrams;
- statecharts;
- DEVS modelling methodology;
- model transformation and integration;
12.From Domain Specific Languages to DEVS Components: Application to Cognitive MS

机译：从领域特定语言到DEVS组件：应用于认知M＆S
- 作者：Saurabh Mittal;Scott A. Douglass
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
- MIC;
- DSL;
- ACT-R;
- M2M;
- DEVSML;
- SOA;
13.Automating DEVS over Data Distribution Service for High Performance and Interoperability

机译：通过数据分发服务自动执行DEVS，以实现高性能和互操作性
- 作者：Ki-Jcong Kwon;Chungman Seo;Bernard P. Zeigler
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
14.The SimTG Simulation Modeling Framework A domain specific language for space simulation

机译：SimTG仿真建模框架用于空间仿真的领域特定语言
- 作者：Olivier Zanon;Astrium Satellites
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
- model driven architecture;
- domain specific language;
- eclipse;
- ecore;
- emf;
- gmf;
- xtext;
15.The Simulation-based Multi-objective Evolutionary Optimization (SIMEON) Framework

机译：基于仿真的多目标进化优化（SIMEON）框架
- 作者：Ronald Apriliyanto Halim;Mamadou Diouf Seek
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
- framework;
- multi-objective;
- evolutionary optimization;
- NSGAII;
16.A Testing Framework for DEVS Formalism Implementations

机译：DEVS形式主义实现的测试框架
- 作者：Xiaobo Li;Hans Vangheluwe;Yonglin Lei;Hongyan Song;Weiping Wang
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
17.Interfacing DEVS and Visualization Models for Emergency Management

机译：将DEVS和可视化模型相连接以进行应急管理
- 作者：Mohammad Moallemi;Shafagh Jafer;Ahmed Sayed Ahmed;Gabriel Wainer
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
- cell-DEVS;
- emergency simulation;
- real-time DEVS;
18.The Rationale for Shaped Simulation

机译：形状模拟的原理
- 作者：Jeffrey P. Buzen
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
- discrete event simulation;
- markov chains;
- continuous time markov processes;
19.Synchronizing Sequences On Not Strongly Connected Petri Nets

机译：在非强连接的Petri网上同步序列
- 作者：Marco Pocci;Isabel Demongodin;Norbert Giambiasi;Alessandro Giua
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
- testing problems;
- finite state machines;
- petri nets;
- synchronizing sequences;
20.DEVS for AUTOSAR Platform Modelling

机译：用于AUTOSAR平台建模的DEVS
- 作者：JoachimDenil;Hans Vangheluwe;Pieter Ramaekers;Paul De Meulenaere;Serge Demeyer
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
- discrete-event simulation;
- AUTOSAR;
- embedded software;
- performance analysis;
21.NoC Simulation Modeling in DEVS-Suite

机译：DEVS-Suite中的NoC仿真建模
- 作者：Hoda Ahmadinejad;Fatemeh Refan;Hessam S. Sarjoughian
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
- DEVS;
- DEVS-suite;
- NoC;
- NoC-DEVS;
- noxim;
- SystemC;
22.Extended Coloured Petri Nets with structured Tokens Formal Method for Distributed Systems

机译：分布式系统的结构化令牌形式化扩展彩色Petri网
- 作者：Khaoula Al Ali;Wolfgang Fengler;Bernd Daene
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
23.Model Verification Framework with Application to Molecular Biology

机译：模型验证框架及其在分子生物学中的应用
- 作者：Valeria Perelman;Judith Somekh;Dov Dori
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
- finite-state transition systems;
- formal verification;
- systems biology;
24.ISTSM: Incompletely Specified Timed Sequential Machines

机译：ISTSM：不完全指定的定时顺序机
- 作者：Norbert Giambiasi
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
- discrete event system;
- timed sequential machines;
- incompletely specified;
- state covering;
- state compatibility;
25.A Model-Driven Software Environment for Modeling, Simulation and Analysis of Complex Systems

机译：用于复杂系统建模，仿真和分析的模型驱动软件环境
- 作者：Luc Touraille;Mamadou K. Traore;David R.C. Hill
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
- DEVS;
- model driven engineering;
- interoperability;
- software environment;
26.I-DEVS: Imprecise Real-Time and Embedded DEVS Modeling

机译：I-DEVS：不精确的实时和嵌入式DEVS建模
- 作者：Mohammad Moallemi;Gabriel Wainer
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
- DEVS;
- embedded systems;
- real-time systems;
- model based approach;
27.A BPMN Extension for Modeling Non Functional Properties of Business Processes

机译：用于建模业务流程非功能属性的BPMN扩展
- 作者：Paolo Bocciarelli;Andrea DAmbrogio
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
- business process;
- BPMN;
- business process modeling;
- MDA;
28.Taxonomy of DEVS Subclasses for Standardization

机译：DEVS子类的分类标准
- 作者：Moon Ho Hwang
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
29.A Performance Evaluation of the Conservative DEVS Protocol in Parallel Simulation of DEVS-based Models

机译：基于DEVS的模型并行仿真中保守DEVS协议的性能评估
- 作者：Shafagh Jafer;Gabriel Wainer
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
- conservative DEVS;
- parallel DEVS protocol;
- cell-DEVS models;
- DEVS models;
- dynamic lookahead;
30.Model-driven Development of Simulation Solution based on SysML starting with the Simulation Core

机译：基于SysML的以仿真核心为基础的仿真解决方案的模型驱动开发
- 作者：Pascal Weyprecht;Oliver Rose
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
- SysML;
- fUML;
- discrete event simulation;
- model-driven development;
- EMF;
31.ScipySim: Towards Distributed Heterogeneous System Simulation for the SciPy Platform

机译：ScipySim：面向SciPy平台的分布式异构系统仿真
- 作者：Allan I. Mclnnes;Brian R. Thorne
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
- SciPy;
- heterogeneous systems;
- tagged signal model;
- generalized kahn theory;
32.Graded CTL Model Checking for Test Generation

机译：用于测试生成的分级CTL模型检查
- 作者：Margherita Napoli;Mimmo Parente
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
- model checking;
- test generation;
- graded temporal logics;
- hierarchical finite state machines;
33.Net-centric ACT-R-Based Cognitive Architecture with DEVS Unified Process

机译：具有DEVS统一过程的基于网络的基于ACT-R的认知架构
- 作者：Saurabh Mittal;Scott A. Douglass
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
- ACT-R;
- DUNIP;
- DSL;
- SOA;
- DEVSML;
- DoDAF;
34.Standardizing DEVS Models: An Endogenous Standpoint

机译：标准化DEVS模型：内生的观点
- 作者：Hessam S. Sarjoughian;Yu Chen
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
- DEVS;
- domain-specific modeling;
- MIPS32 processors;
- standardization;
- XML schema;
35.HiLeS2: Model Driven Embedded System Virtual Prototype generation

机译：HiLeS2：模型驱动的嵌入式系统虚拟原型生成
- 作者：Horacio Hoyos;Rubby Casallas;Fernando Jimenez;Dario Correal
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
- virtual prototype;
- embedded systems;
- sysml;
- EIA-632;
- model-driven development;
- model transformation chains;
36.Some Desired Features for the DEVS Architecture Description Language

机译：DEVS体系结构描述语言的一些所需功能
- 作者：Olivier Dalle;Judicaeel Ribault
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
- ADL;
- architecture;
- component;
- reuse;
- scalability;
37.Performance of a Multi-Agent System over a Multi-Core Cluster Managed by Terracotta

机译：Terracotta管理的多核群集上的多代理系统性能
- 作者：Franco Cicirelli;Angelo Furfaro;Andrea Giordano;Libero Nigro
- 会议名称：《Theory of modeling amp; simulation: DEVS integrative Mamp;S symposium 2011.》 | 2011年
- MS;
- multi-agent systems;
- multi-core clusters;
- predator/prey model;
- minority game;