×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京大学 [3]
上海大学 [3]
北京航空航天大学 [2]
武汉大学 [2]
湖南大学 [2]
暨南大学 [1]
更多...
内容类型
会议论文 [5]
期刊论文 [5]
其他 [3]
学位论文 [1]
发表日期
2017 [2]
2016 [2]
2014 [3]
2013 [1]
2012 [2]
2011 [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共14条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Modeling Context-aware Legal Computing with Bigraphs
其他
2017-01-01
Yu, Lian
;
Hu, Chenjian
;
Li, Baijie
;
Tsai, Wei Tek
;
Hu, Jianbin
;
Deng, Enyan
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2017/12/03
legal computing
modeling and simulation
bigraphical reaction systems (BRS)
context-aware reasoning
binding and constraints
tracking and monitoring
LOGIC
Preliminaries of Bigraphical Calculus for Context-awareness
会议论文
2017 2ND INTERNATIONAL CONFERENCE ON COMPUTATIONAL MODELING, SIMULATION AND APPLIED MATHEMATICS (CMSAM), 2017-01-01
作者:
Xu, Dong[1]
;
Zhou, Guang-yuan[2]
;
Li, Xiao-jun[3]
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2019/04/24
Bigraph
Context-awareness
Bigraphical calculus
An Improvement for BigMC
会议论文
4th International Conference on Machinery, Materials and Information Technology Applications (ICMMITA), 2016-01-01
作者:
Shi, Qing-Quan[1]
;
Xu, Dong[2]
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/04/26
bigraph
bigraphical reactive system
Model checking
Matching of bigraph
Bigraph model checking
Multi-tenant Verification-as-a-Service (VaaS) in a cloud
期刊论文
SIMULATION MODELLING PRACTICE AND THEORY, 2016, 卷号: 60, 页码: 122-143
作者:
Hu, Kai
;
Lei, Lei
;
Tsai, Wei-Tek
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/30
SaaS
Multi-Tenant Architecture (MTA)
Formal method
Verification-as-a-Service (VaaS)
Bigraph
Model checking
Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive Systems
其他
2014-01-01
Wang, Wusheng
;
Hildebrandt, Thomas T.
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2015/11/13
Modeling and analysis of mobile cloud computing based on bigraph theory
其他
2014-01-01
Yu, Lian
;
Tsai, Wei Tek
;
Wei, Xin
;
Gao, Jerry
;
Hildebrandt, Thomas T.
;
Guo, Xiao Qun
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2015/11/13
Bigraph-based Modeling and Tracing for the Food Chain System
会议论文
International Conference on Information Science and Cloud Computing Companion (ISCC-C), Guangzhou, PEOPLES R CHINA, 2013-12-07
作者:
Li, Xue
;
Liu, Xiaoyuan
;
Zhao, Ying
;
Peng, Xiaodong
;
Wei Huangfu
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2020/01/06
food chain
bigraph
traceability
modeling
traceable food chain system
Towards Checking Bigraphical Context-aware Models
会议论文
INFORMATION TECHNOLOGY APPLICATIONS IN INDUSTRY II, PTS 1-4, 2013-07-23
作者:
Xu, Dong[1]
;
Zhu, Gang[2]
;
Xu, De-Zhen[3]
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/04/30
Bigraph
Context-aware
Model Checking
基于嵌套赋类的Bigraph反应系统模型
期刊论文
计算机科学, 2012, 卷号: 39, 期号: 9
作者:
毋国庆
;
吴怀广
;
金保华
;
甘勇
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/05
Bigraph反应系统
嵌套赋类
相关推出
一致性
An Improved Method for Transaction Footprints Stripping with Bigraph System
期刊论文
Journal of Software, 2012, 卷号: Vol.7 No.9, 页码: 2141-2148
作者:
Li, Changyun
;
Man, Junfeng
;
Wang, Zhibing
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2020/01/05
incomplete token
transaction footprint
bigraph matching
maximum-likelihood rule
rank-maximal matching
©版权所有 ©2017 CSpace - Powered by
CSpace