搜索筛选:
搜索耗时0.1145秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[会议论文] 作者：赵健;袁敏;黄志球;,
来源：2008全国软件与应用学术会议(NASAC'08) 年份：2008
广受关注的Web服务事务处理常因资源死锁而导致资源浪费、利用率低和事务成功率低,Web服务事务处理的资源协调研究越来越活跃。形式化方法对于减少设计错误,提高系统可信度是...
相关搜索：
