位置：成果数据库 > 期刊 > 期刊详情页
Fluid Rewards for a Stochastic Process Algebra
  • ISSN号：0098-5589
  • 期刊名称：IEEE Transactions on Software Engineering
  • 时间：2012.8
  • 页码：861-874
  • 相关项目：大规模随机进程代数模型的死锁检测和性能分析
作者： Tribastone, Mirco|Ding, Jie|Gilmore, Stephen|Hillston, Jane|
同期刊论文项目
大规模随机进程代数模型的死锁检测和性能分析
期刊论文 45 会议论文 6
同项目期刊论文
A free boundary problem for a reaction-diffusion system with nonlinear memory
随机进程代数新技术综述(英文)
Global existence and blow-up analysis to a cooperating model with self-diffusion
测度拓扑和连续偏序集的刻画
偏序集中下收敛的一个刻画
<span>Roughness in quantales</span>
Fundamental results on the reaction&ndash;diffusion equations associated with a PEPA model
Normalized Correlation-Based Quantization Modulation for Robust Watermarking
On the Fluid Approximation of a PEPA Model
Fundamental results on the reaction–diffusion equations associated with a PEPA model
Performance analysis and improvement of dither modulation under the composite attacks
A novel quantization watermarking scheme using random normalized correlation modulation
Protein localization prediction using random walks on graphs
Performance analysis of random angle based quantization modulation
Turing pattern formation in a predator–prey system with cross diffusion
<span class="emtidy-2">Dynamical behavior of a harvest single species model on growi
一种采用随机归一化相关系数调制的量化水印
On reaction-diffusion equations derived from a PEPA model
A performance evaluation process algebra-based fluid approximation approach to evaluate large scale
Numerically representing stochastic process algebra models
QFS-Domains and their Lawson Compactness
监督式谱空间分类器
软泛代数及其整体结构性质
连续poset的投射像的连续性
无限论域上粗糙集理论公理化条件的等价性
知识的交派生及其算法
关于FS-domain遗传性
知识约简和属性约简的转化及等价性
C-连续偏序集的性质及等价刻画
四节点无线网络的分集复用折中
S-超连续偏序集的性质及等价刻画
Scott闭集格的C-代数性及其应用
基于双域信息融合的鲁棒二值文本图像水印
有限偏序集与4元素集合上T0拓扑总数的计算
双层随机游走半监督聚类
随机进程代数新技术综述