没有合适的资源?快使用搜索试试~
我知道了~
文库首页
安全技术
其它
pi演算介绍.pdf
pi演算介绍.pdf
pi演算
3星
· 超过75%的资源
需积分: 50
27 下载量
177 浏览量
2011-04-27
09:13:23
上传
评论
收藏
594KB
PDF
举报
温馨提示
立即下载
介绍如何应用pi演算进行推演,给出了并行计算的一个案例
资源推荐
资源评论
pi演算综述
浏览:184
5星 · 资源好评率100%
很好的pi演算资料,用于模型检测,形式化语言等领域
论文研究-一种基于π演算的行为建模形式化方法.pdf
浏览:127
论文研究-一种基于π演算的行为建模形式化方法.pdf, 根据人的行为建模形式化方法需求, 针对直接应用π演算形式化建模人的行为所存在的不足, 尝试以π演算为基础扩展定义了一种人的行为建模形式化
Pi演算经典入门教程1
浏览:57
4星 · 用户满意度95%
A Calculus of Mobile Processes 1
论文研究-基于Pi演算的多agent调度算法实现 .pdf
浏览:19
基于Pi演算的多agent调度算法实现,李柏润,康辉,(1)分布式资源的高效利用是当今备受关注的研究热点。考虑到分布式通信系统结构经常发生变化,以及许多分布式算法依旧是基于串��
pi演算工具,mwb,
浏览:15
5星 · 资源好评率100%
pi演算的验证工具,用于操作和分析移动并发系统的自动化pi演算,使用函数式语言sml构建。软件环境为windows2000。MWB 99版。
应用Pi演算的开放方法
浏览:49
提出了开放双仿真的概念应用Pi演算,它扩展了π演算,以便有助于分析安全协议。 我们的概念基于标记的过渡系统,并需要知识在安全协议中建立知识模型的开放方法。 它显示出对标记的双相似性是合理的,并且是一致的关系。 作为运行示例,我们分析两个电子商务协议,即iKP和弗格森的电子现金协议,由Applied Pi和开放双相似性提供。
基于pi演算的软件体系结构形式化研究 任洪敏
浏览:196
基于pi演算的软件体系结构形式化研究 任洪敏 phd
论文研究-基于类pi演算的电子支付协议安全性形式化研究.pdf
浏览:125
设计一个满足安全需求的协议非常困难,并且极易出错,因此利用形式化方法来检验安全协议引起了人们极大的关注。使用了类pi演算来验证电子支付协议的认证性和匿名性。
基于Pi演算的Android App权限提升攻击检测.pdf
浏览:70
基于Pi演算的Android App权限提升攻击检测.pdf
基于Pi演算的Android多线程程序的数据竞争检测.pdf
浏览:108
基于Pi演算的Android多线程程序的数据竞争检测.pdf
论文研究-基于Pi演算和Agent的分布式环境建模 .pdf
浏览:7
基于Pi演算和Agent的分布式环境建模,徐男,康辉,大数据分析和高速处理的需求促进了分布式并行技术的发展,然而分布式通信系统结构发生变化时,大量代码及资源的迁移是不可避免的
论文研究-基于Pi演算的跨组织业务流程约简和死锁检测 .pdf
浏览:119
基于Pi演算的跨组织业务流程约简和死锁检测,叶鑫,邴兴华,死锁检测是跨组织业务流程分析的重要组成部分。由于Pi演算具有较强的代数推演能力,适合对跨组织业务流程建模与分析,本文以Pi演��
论文研究-基于Pi演算的构件行为兼容性研究.pdf
浏览:41
为了保证构件在替换或组合之后系统仍能正常稳定运行,利用Pi演算对构件行为进行建模,并对多个构件行为间的兼容性进行验证,提出了绝对兼容、相对兼容等理论,并运用兼容度来判定构件行为兼容性强弱,且通过实例进行...
论文研究-基于多元Pi演算的Web服务形式化描述模型及其验证.pdf
浏览:120
Web服务组合在运行时多发生由于类型不匹配而产生的错误,为了有效地避免这种错误,在多元Pi-演算的基础上提出了Web服务形式化描述模型。通过基本类型定义、语法定义和判定规则说明单个Web服务的类型良好性,通过操作...
论文研究-基于pi演算的UML状态图的组装机制以及模型精化的验证 .pdf
浏览:171
基于pi演算的UML状态图的组装机制以及模型精化的验证,赵也非,杨宗源,UML提供了面向对象的、图形化的方法,可以描述系统模型的各个方面。但是,UML是一种元模型,只有静态语义,不具备动态语义。本文从
论文研究-基于Pi-演算的Web服务形式化描述模型.pdf
浏览:86
在对现有的Web服务形式化描述方法进行回顾和总结的基础上,基于Pi-演算建立了Web服务形式化描述模型,将BPEL4WS和WS-CDL规范的重要行为在模型中作了映射。最后通过例子说明,基于局部和全局的设计方法在提出的模型中...
论文研究-基于PI-演算的无线自动售货机物流配送研究 .pdf
浏览:123
基于PI-演算的无线自动售货机物流配送研究,王丽超,顾宏,形式化方法是商务过程设计与分析时达成共识和检验正确性的重要途径。Pi-演算具有面向交互、可描述结构动态变化及分布并发的表达优
论文研究-基于异步PI演算的Web服务长事务协议性质分析.pdf
浏览:146
软件缺陷的概念在软件质量范畴中处于举足轻重的地位。通过分析促进软件缺陷增长的动因,提出了自增长型缺陷和非自增长型缺陷的概念,把软件缺陷增长分为确定性增长和不确定性增长两个部分,随后,通过对软件缺陷确定...
论文研究-一种改进的基于Pi演算的Web服务自动组装方法.pdf
浏览:84
提出了一种基于图像纹理特征的不平等比特分配策略的码率控制算法。根据纹理特征将每帧图像划分成三大区域,对每个区域采用不同的比特分配权重,对纹理复杂的区域分配更多的比特数,对纹理简单的区域分配更少的比特数...
论文研究-基于PI演算的网上并联审批业务流程建模及验证.pdf
浏览:63
首次将进程代数PI演算理论引入电子政务流程建模中,对电子政务研究中的热点、难点,即网上并联审批流程进行了形式化建模,并对所建立的模型进行了验证,确保了模型的正确性和可行性,极大地降低了项目实施投资风险...
first-order and higher-order paradigms.pdf
浏览:197
pi演算作者当年的博士论文,值得一看!详细地介绍了pi-演算!pi演算作者当年的博士论文,值得一看!详细地介绍了pi-演算!pi演算作者当年的博士论文,值得一看!详细地介绍了pi-演算!
论文研究-跨组织业务过程协同多视图模型.pdf
浏览:158
为了解决企业间业务过程协同的建模问题,特别是模型的验证效率及异步通信机制问题,结合Petri网和pi演算各自的优势,提出了一种多视图的建模方法。基于Petri网建模跨组织业务过程模型的内部视图,将通信接口抽取出来...
论文研究-SetPi-演算及其对本体演化的建模 .pdf
浏览:151
SetPi-演算及其对本体演化的建模,刘磊,范茸,对Pi-演算进行语法扩展,提出了一种新的演算:SetPi-演算,在Pi-演算原有语义的基础上引入了“集合”的思想,从而解决了Pi-演算无法添
论文研究-基于Pi-演算的WS-CDL编舞的描述和验证.pdf
浏览:163
利用排队论的相关知识,对计算机系统中常见的多服务员情况下的排队现象进行分析,通过理论推导、并用实际数据表明了在多服务员模式下,单一共享的排队等待队列的性能要优于多个独自的排队等待队列。
论文研究-燃料电池温度模糊自适应控制.pdf
浏览:174
运用Pi演算对航空订票业务的Web服务进行形式化建模,改进基于Pi演算的推理,提供一种验证多个Web服务组合是否兼容的方法。为证实该验证方法,进一步采用MWB工具展示了Web服务组合兼容性的验证过程。
JDK 1.8 64位.rar
浏览:184
5星 · 资源好评率100%
Java JDK 1.8 64位
SoftCnKiller2.54.zip(因为要下载码,弃用不更新了)
浏览:129
5星 · 资源好评率100%
根据data目录下的sign.txt(数字签名字符串)、folder.txt(目录名字符串)筛选流氓软件启动项,默认只删启动项,全选处理后重启系统就可以了。
编译好的64位pycdc.exe(支持python3.10和python3.11)
浏览:46
4星 · 用户满意度95%
编译好的64位pycdc.exe,可用于将pyc文件反编译为py文件 只需要将pyc.exe和pyc文件放于同一文件夹内,在文件夹内打开cmd 使用命令:pycdc xxx.pyc即可输出对应的反编译py文件(支持python3.10和python3.11)
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
zheloui
2013-02-20
对这个资料有点小失望
tanggy818
2014-07-19
相比起其他资源,这个不值5分,英文的
plutohb2008
2012-07-06
以为是中文资料,结果是英文的
dpsp
2013-03-20
还可以吧,就是个英文的介绍资料
newsong_2011
粉丝: 0
资源:
2
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
全网最新,MQ面试题(持续更新)
smartplant3.0.sln
Free Download Manager CRX 3.0.59 for Chrome.crx
MATLAB实现蚁群算法优化柔性车间调度(ACO-fjsp)
资源汇总表2024年4月19日
数据库0.1版本,数据库0.1版本
c语言-c语言编程基础之leetcode题解第24题两两交换链表中的节点.zip
一个简单二阶系统的滑模控制算法(基于比例切换函数的滑模控制)
Wi-Fi-Agile-Multiband-Technical-Specification-v1.4
网络购物中心项目源码.rar
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功