位置：成果数据库 > 期刊 > 期刊详情页
审计缓冲区的形式化模型及其验证
  • 期刊名称：计算机科学. vol. 33. No. 05, pp. 98-103, 2006.
  • 时间：0
  • 相关项目：网格程序层次模型及其理论
作者： 丁志军, 刘海峰,蒋昌俊,
同期刊论文项目
网格程序层次模型及其理论
期刊论文 42 会议论文 10
同项目期刊论文
The Language Study for Workflo
Web服务组合的有色网模型及运算
无回路规则系统的Petri网验证方
各类Petri网语言间的关系
网格体系的Petri网模拟与分析
动态网络最短路问题的复杂性与近
A heuristic algorithm for task
基于模糊Petri网的服务发现框架
一种面向移动导航设备的电子地图
基于插桩技术的并行程序性能分析
Modeling and Verification Web
Towards a formal model for gri
基于精炼操作的Petri网建模及其
On the Design and Temporal Pet
VGITS: ITS based on Intervehic
Geographic routing with Road t
基于P/T网结构的规则系统验证方
基于稳定分支的变权网络最优路径
Refinement of Petri Nets in Wo
面向服务的企业应用集成系统描述
Preserving Languages and Prope
A Petri Nets Based Correctness
Web服务组合的有色网模型及运算性质
动态网络最短路问题的复杂性与近似算法
Petri网语言的Pumping引理
基于模糊Petri网的服务发现框架研究
基于稳定分支的变权网络最优路径算法
面向服务的企业应用集成系统描述与验证
A Heuristic Algorithm for Task Scheduling Based on Mean Load on Grid
基于遗传算法的本体概念分类规则学习算法
一种面向移动导航设备的电子地图空间索引结构
基于Petri网共享合成的网格计算资源调度方案
基于代价时间Petri网的合同网模型研究
基于插桩技术的并行程序性能分析方法设计和实现
网格计算资源调度方案及其Petri网建模与分析
基于P/T网结构的规则系统验证方法
Modeling and Analysis of Real-
基于Petri网的语义Web服务自动组
基于Petri网的语义Web服务自动组合方法
无回路规则系统的Petri网验证方法