欢迎您!
东篱公司
退出
申报数据库
申报指南
立项数据库
成果数据库
期刊论文
会议论文
著 作
专 利
项目获奖数据库
位置:
成果数据库
>
期刊
> 期刊详情页
基于T-不变量消除的Petri网合法变迁引发序列判定算法
期刊名称:于枫*,罗军舟,李伟,基于T-不变量消除的Petri网合法变迁引发序列判定算法,解放军理工大学学报,
时间:0
相关项目:大规模网络分布式管理模型的形式化描述、分析与评价
同期刊论文项目
大规模网络分布式管理模型的形式化描述、分析与评价
期刊论文 87
会议论文 44
同项目期刊论文
一种可信可控的网络体系及协议结构
基于多目标粒子群优化的服务选择算法
可控网络中多agent系统信念可达性和收敛速度分析
动态多代理协作联盟的扰动稳定性
基于Mesh结构的网格资源发现机制
一种自管理的轻量化网格平台参考模型
适合大规模网络的一种新型智能网管模型及性能分析
Some Issues on Computer Networks: Architecture and Key Technologies
Deadline guaranteed packet scheduling for overloaded traffic in input-queued switches
Agent-Based Task Representation and Processing in Pervasive Computing Environment
A Novel Spectrum of Epoch Convergent Congestion Control
基于QoS的网格资源管理
具有QoS保证的服务资源联合分配与管理
不可否认协议分析的增广CSP方法
面向网络管理知识获取的一种序列模式挖掘新算法
基于Petri网的Web个性化服务
一个公平的多方不可否认协议
Dynamic Scheduling of Multi-agent in Agent-based Distributed Network Management
基于挑战-响应的安全协议分析
Analysis of Security Protocols Based on Challenge-Response
An Efficient Packet Scheduling Algorithm With Deadline Guarantees for Input-Queued Switches
Implementation of Learning Path in Process Control Model
Dynamic Multi-resource Advance Reservation in Grid Environment
A Trust Degree Based Access Control in Grid Environment
A Clustering Analysis and Agent Based Trust Model in Grid Environment Supporting Virtual Organizatio
基于多Agent系统网管模型的形式化建模
基于颜色Petri网的多agent动态调度建模与分析
基于合作博弈的移动代理网管任务协作模型
一种交叉点小缓存CICQ交换机高性能调度算法
不可否认协议时限性的形式化分析
基于嵌套EMD的钓鱼网页检测算法
多方不可否认协议时限性分析与改进