首页>外文会议>其他>Symposium on formal modeling: actors, open systems, biological systems

Symposium on formal modeling: actors, open systems, biological systems

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Applications of Pathway Logic Modeling to Target Identification

机译：路径逻辑建模在目标识别中的应用
- 作者：Anupama Panikkar;Merrill Knapp;Huaiyu Mi;Dave Anderson;Krishna Kodukula;Amit K. Galande;Carolyn Talcott
- 会议名称：《Symposium on formal modeling: actors, open systems, biological systems》 | 2011年
2.Solving the First Verified Software Competition Problems Using PVS

机译：使用PVS解决第一验证的软件竞争问题
- 作者：Sam Owre;Natarajan Shankar
- 会议名称：《Symposium on formal modeling: actors, open systems, biological systems》 | 2011年
3.A Formal Methodology for Compositional Cross-Layer Optimization

机译：一种形式的组成横层优化方法
- 作者：Minyoung Kim;Mark-Oliver Stehr;Carolyn Talcott;Nikil Dutt;Nalini Venkatasubramanian
- 会议名称：《Symposium on formal modeling: actors, open systems, biological systems》 | 2011年
4.Ten Years of Analyzing Actors: Rebeca Experience

机译：十年分析演员：Rebeca经验
- 作者：Marjan Sirjani;Mohammad Mahdi Jaghoori
- 会议名称：《Symposium on formal modeling: actors, open systems, biological systems》 | 2011年
- Actors;
- Rebeca;
- Concurrency;
- Formal Verification;
- Model Checking;
- Reduction Techniques;
- Abstraction;
5.Towards a Maude Formal Environment

机译：走向莫德正式环境
- 作者：Francisco Duran;Camilo Rocha;Jose Maria Alvarez
- 会议名称：《Symposium on formal modeling: actors, open systems, biological systems》 | 2011年
6.Algorithmic Aspects of Risk Management

机译：风险管理的算法方面
- 作者：Ashish Gehani;Lee Zaniewski;K. Subramani
- 会议名称：《Symposium on formal modeling: actors, open systems, biological systems》 | 2011年
7.From Explicit to Symbolic Types for Communication Protocols in CCS

机译：从CCS中的通信协议显式到符号类型
- 作者：Hanne Riis Nielson;Flemming Nielson;Jorg Kreiker;Henrik Pilegaard
- 会议名称：《Symposium on formal modeling: actors, open systems, biological systems》 | 2011年
8.Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision

机译：用于网络网络系统的分组软件：研究方向和长期视力
- 作者：Mark-Oliver Stehr;Carolyn Talcott;John Rushby;Pat Lincoln;Minyoung Kim;Steven Cheung;Andy Poggio
- 会议名称：《Symposium on formal modeling: actors, open systems, biological systems》 | 2011年
9.Model Feasible Interactions in Distributed Real-Time Systems

机译：分布式实时系统模型可行的交互
- 作者：Shangping Ren;Yue Yu;Miao Song
- 会议名称：《Symposium on formal modeling: actors, open systems, biological systems》 | 2011年
10.Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude

机译：实时MAEDE中嵌入式系统建模语言的语义，仿真和正式分析
- 作者：Peter Csaba Olveczky
- 会议名称：《Symposium on formal modeling: actors, open systems, biological systems》 | 2011年
11.Mathematical Models of Object-Based Distributed Systems

机译：基于对象的分布式系统的数学模型
- 作者：Carlos Henrique C. Duarte
- 会议名称：《Symposium on formal modeling: actors, open systems, biological systems》 | 2011年
- Algebraic Structures;
- Topological Spaces;
- Distributed Systems;
- Software Development;
12.Fast Sort Computations for Order-Sorted Matching and Unification

机译：订单排序匹配和统一的快速排序计算
- 作者：Steven Eker
- 会议名称：《Symposium on formal modeling: actors, open systems, biological systems》 | 2011年
13.Computational Biology: A Programming Perspective

机译：计算生物学：编程视角
- 作者：Lars Hartmann;Neil D. Jones;Jakob Grue Simonsen;Soren Bjerregaard Vrist
- 会议名称：《Symposium on formal modeling: actors, open systems, biological systems》 | 2011年
14.Parameterized Metareasoning in Membership Equational Logic

机译：成员公平逻辑中的参数化成立
- 作者：Manuel Clavel;Narciso Marti-Oliet;Miguel Palomino
- 会议名称：《Symposium on formal modeling: actors, open systems, biological systems》 | 2011年
15.Towards a System Model for Ensembles

机译：迈向合奏的系统模型
- 作者：Matthias Holzl;Martin Wirsing
- 会议名称：《Symposium on formal modeling: actors, open systems, biological systems》 | 2011年
16.From Service Identification to Service Selection: An Interleaved Perspective

机译：从服务识别到服务选择：交错透视
- 作者：Devis Bianchini;Francesco Pagliarecci;Luca Spalazzi
- 会议名称：《Symposium on formal modeling: actors, open systems, biological systems》 | 2011年
17.Honoring Carolyn Talcott's Contributions to Science

机译：纪念Carolyn Talcott对科学的贡献
- 作者：Sylvan Pinsky
- 会议名称：《Symposium on formal modeling: actors, open systems, biological systems》 | 2011年
18.Puff, The Magic Protocol

机译：噗，神奇协议
- 作者：Farhad Arbab
- 会议名称：《Symposium on formal modeling: actors, open systems, biological systems》 | 2011年
19.Abstract LR-Parsing

机译：摘要lr-parsing
- 作者：Kyung-Goo Doh;Hyunha Kim;David A. Schmidt
- 会议名称：《Symposium on formal modeling: actors, open systems, biological systems》 | 2011年
20.Multisimulations: Towards Next Generation Integrated Simulation Environments

机译：多示意：朝着下一代集成仿真环境
- 作者：Leila Jalali;Sharad Mehrotra;Nalini Venkatasubramanian
- 会议名称：《Symposium on formal modeling: actors, open systems, biological systems》 | 2011年
- Reflective Middleware;
- Simulation Integration;
- Metamodels;
- Methodology;
21.Two PhD Students for the Price of One

机译：两个博士学生的价格
- 作者：Solomon Feferman
- 会议名称：《Symposium on formal modeling: actors, open systems, biological systems》 | 2011年