细胞膜演算相关论文
目前，Web服务逐渐普及，网格计算方兴未艾，移动无线网络逐步推广，在这些并发、分布和移动环境下，对事务处理的模型、语言和原型的研究正......
事务处理是Web服务及其组合服务能否得到广泛应用的关键技术之一。本文分析总结了现有的事务处理模型，针对web服务组合环境下的异构......
由于Dryad编程模型的实现并不开源，导致关于Dryad编程模型的理论研究较为缺乏。本文利用细胞膜演算在描述并发系统的优势，对Dryad编......
采用细胞膜演算具体分析了当前比较主流的Web服务中原子事务协调协议WS-AT．针对WS-AT协议采用简单的状态转换表和转换图，无法描述协......
为了达到推理算法形式化描述的目的,本文采用细胞膜演算的形式化方法描述带子句学习的DPLL算法。分别定义了部分赋值、变元反转、......
