位置：成果数据库 > 期刊 > 期刊详情页
基于时序逻辑的移动计算形式理论分析
  • 期刊名称：计算机科学
  • 时间：0
  • 作者或编辑：3448
  • 页码：2000，Vol.11,No.6
  • 语言：中文
  • 相关项目：组合软件理论和设计方法学研究
作者： 魏峻|
同期刊论文项目
组合软件理论和设计方法学研究
期刊论文 44 获奖 6 著作 1
同项目期刊论文
Agent在多Agent系统中计算的意愿理论
Agent计算的能力理论
对象演算I
系统动态行为语义模型及其形式描述
对象演算II
关系型多数据库系统ISGlobal
Trace演算
Communication System for CIMS Application Integration Platform
Dynamic Checking Framework for Java Beans Semantic Constraints
多Agent系统的非终止主动合作计算模型，
Agent计算的理论框架
基于T（3）BDD的动态模型检查
基于向量时间的因果序通信协议的研究与设计
基于Java的应用服务器的设计与实现
移动计算形式理论分析与研究
扩充角色层次关系模型及其应用
一种基于对象序列图的组件交互协议设计方法
A Formal Languages for Programming with Distributed Resources and Scopes
A Problem-oriented and Rule-Based Component Repository
Conflict Decision Training through Multi-Space Co-operation
面向对象软件度量工具的一个灵活的软件结构
移动组件系统模型的分析与描术
对象系统的组合交互计算
一种基于分布对象技术的Agent计算框架
基于微观经济方法的网络资源分配研究
基于XML的B2B电子商务构架
异步接口模式及其应用
一个移动智能体位置管理与可靠通信的算法
事务工作流的建模和分析
嵌套式动态容错协议的研究与设计
一个基于CORBA的复制对象管理框架
移动Web访问高性能缓存验证算法
实时数据集成技术及其应用
消息中间件管理器的设计和实现
基于对象视图模型WebView的Web应用框架
通用网络编程接口包的设计和实现
基于CORBA的容错对象复制算法
面向大型网络多管理对象的组预算算法
Probability Graph based Data Hoarding For Mobile Environment,
基于混合粒度冲突检测的事务工作流调度
A Formal Framework of Multi-Agent System with Requirement/Service Cooperative Style
数据传输工具Data Trans的设计与实现