中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共8条，第1-8条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
基于M/M/1排队模型的网络服务尾延迟分析 期刊论文
计算机科学, 2020, 卷号: 47, 期号: 11, 页码: 286
作者:  郭子亭;  张文力;  陈明宇
收藏  |  浏览/下载：2/0  |  提交时间：2024/05/20
Tail latency  Modeling  M/M/1  Series  Parallel  尾延迟  建模  M/M/1  串联  并行  
社会群体角色本体的构建方法研究 期刊论文
计算机科学, 2012, 卷号: 39.0, 期号: 002, 页码: 222
作者:  江利萍;  曹存根;  张再跃
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
社会群体  角色本体  公理  知识获取  知识验证  
描述Web服务的一阶动态逻辑 期刊论文
计算机科学, 2011, 卷号: 38.0, 期号: 011, 页码: 109
作者:  吴晓庆
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
一阶动态逻辑  Web服务模型本体  Web服务  程序  赋值  
一种RBAC的描述逻辑表示方法 期刊论文
计算机科学, 2010, 卷号: 000, 期号: 003, 页码: 29
作者:  马丽;  马世龙;  眭跃飞;  伊胜伟
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
访问控制  角色  权限  描述逻辑  角色继承  
基于可用性的一致性测试套选择 期刊论文
计算机科学, 2009, 卷号: 36.0, 期号: 012, 页码: 132
作者:  邢熠;  叶新铭;  谢高岗
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
一致性测试  测试选择  接受域  采样  可用性  
一种兼顾协议正确性验证和性能评估的Petri网方法 期刊论文
计算机科学, 2005, 卷号: 32.0, 期号: 012, 页码: 48
作者:  范昊;  吴哲辉;  曾庆田
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
协议验证  形式化分析  时延Petri网  协议性能评估  0-1停止等待协议  
音乐领域本体的建立和分析 期刊论文
计算机科学, 2004, 卷号: 31.0, 期号: 1.0, 页码: 103
作者:  高颖;  曹存根;  眭跃飞
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
一致性  音乐知识系统  知识工程  领域本体  公理  
提高OLAP系统性能的方法研究 期刊论文
计算机科学, 2003, 卷号: 30, 期号: 5, 页码: 59
作者:  辛志;  刘少辉;  史忠植
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
online analytical procession  multi-dimensional storage structure  star schema  materialized view