首页>外文会议>其他>IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems

IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Tracing Integration Analysis in Component-Based Formal Specifications

机译：基于组件的形式规范的跟踪集成分析
- 会议名称：《IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems》 | 2005年
2.A Distributed Implementation of Mobile Nets as Mobile Agents

机译：移动网作为移动代理的分布式实施
- 会议名称：《IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems》 | 2005年
3.Pattern Matching over a Dynamic Network of Tuple Spaces

机译：模式匹配在元组空间的动态网络上
- 会议名称：《IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems》 | 2005年
4.Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions

机译：通过概括预测分析检测多线程程序中的错误
- 会议名称：《IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems》 | 2005年
5.CompAr: Ensuring Safe Around Advice Composition

机译：比较：确保安全咨询构图
- 会议名称：《IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems》 | 2005年
6.Property-Driven Development of a Coordination Model for Distributed Simulations

机译：分布式模拟协调模型的财产驱动
- 会议名称：《IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems》 | 2005年
7.A Formal Security Analysis of an OSA/Parlay Authentication Interface

机译：OSA / PARLAY认证界面的正式安全分析
- 会议名称：《IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems》 | 2005年
- formal verification of security;
- OSA/parlay API;
- industrial test case;
8.Checking the Validity of Scenarios in UML Models

机译：检查UML模型中方案的有效性
- 会议名称：《IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems》 | 2005年
9.A Timing Analysis of AODV

机译：AODV的时序分析
- 会议名称：《IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems》 | 2005年
10.A Dynamic Class Construct for Asynchronous Concurrent Objects

机译：异步并发对象的动态类构造
- 会议名称：《IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems》 | 2005年
11.An Extended Type System for OCL Supporting Templates and Transformations

机译：用于OCL支持模板和转换的扩展类型系统
- 会议名称：《IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems》 | 2005年
12.Specification and Verification of Encapsulation in Java Programs

机译：Java程序中封装的规范和验证
- 会议名称：《IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems》 | 2005年
13.Transforming Information in RDF to Rewriting Logic

机译：将RDF中的信息转换为重写逻辑
- 会议名称：《IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems》 | 2005年
- RDF;
- semantic web;
- formal methods;
- rewriting logic;
- maude;
14.XPi: A Typed Process Calculus for XML Messaging

机译：XPI：XML消息传递的键入过程微积分
- 会议名称：《IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems》 | 2005年
15.On Correctness of Dynamic Protocol Update

机译：关于动态协议更新的正确性
- 会议名称：《IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems》 | 2005年
16.Modeling- and Analysis Techniques for Web Services and Business Processes

机译：用于Web服务和业务流程的建模和分析技术
- 会议名称：《IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems》 | 2005年
17.Guaranteeing Resource Bounds for Component Software

机译：保证组件软件的资源范围
- 会议名称：《IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems》 | 2005年
18.An Abstract Machine for the Kell Calculus

机译：Kell Calculus的抽象机器
- 会议名称：《IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems》 | 2005年
19.Towards an Integrated Formal Analysis for Security and Trust

机译：迈向安全和信任的综合正式分析
- 会议名称：《IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems》 | 2005年
20.A Semantics for UML-RT Active Classes via Mapping into Circus

机译：通过映射到马戏团的UML-RT活动类的语义
- 会议名称：《IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems》 | 2005年
- UML-RT;
- circus;
- method integration;
- model transformations;