中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
QSynth．TopK：一个支持TopK查询的质量敏感的自动服务组合系统 期刊论文
电子学报, 2012, 卷号: 40.0, 期号: 010, 页码: 1933
作者:  马环宇;  姜伟;  虎嵩林
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
自动服务组合  服务质量  top  k  图搜索  
基于描述逻辑DL_（RBAC）的RBAC形式化模型 期刊论文
北京航空航天大学学报, 2010, 卷号: 000, 期号: 011, 页码: 1315
作者:  马丽;  马世龙;  眭跃飞
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
访问控制  基于角色的访问控制  描述逻辑  
一种RBAC的描述逻辑表示方法 期刊论文
计算机科学, 2010, 卷号: 000, 期号: 003, 页码: 29
作者:  马丽;  马世龙;  眭跃飞;  伊胜伟
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
访问控制  角色  权限  描述逻辑  角色继承  
一种基于自动服务组合的快速流程建模工具 期刊论文
微电子学与计算机, 2009, 卷号: 000, 期号: 008, 页码: 6
作者:  马环宇;  姜伟;  虎嵩林
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
业务流程建模  自动服务组合  WS-BPEL  
The limits of horn logic programs 期刊论文
LOGICS PROGRAMMING, PROCEEDINGS, 2002, 卷号: 2401, 页码: 467-467
作者:  Ma, SL;  Sui, YF;  Xu, K
收藏  |  浏览/下载：72/0  |  提交时间：2019/12/16
收敛无穷计算及其应用 期刊论文
北京航空航天大学学报, 2002, 卷号: 28.0, 期号: 005, 页码: 481
作者:  李未;  马世龙;  眭跃飞;  许可
收藏  |  浏览/下载：12/0  |  提交时间：2023/12/04
计算  极限  收敛无穷计算  过程模式  无穷序列