搜索条件
« 上一页 |
1 - 10 共 24
|
下一页 »
每页显示结果数
搜索结果
选择图片启动幻灯展示
A Coq Formalization of Unification Modulo Exclusive-Or
1 of 10
Evaluating SGX’s Remote Attestation Security Through the Analysis of Copland Phrases
2 of 10
![](/assets/work-ff055336041c3f7d310ad69109eda4a887b16ec501f35afc0a547c4adb97ee72.png)
Development of a Data-Grounded Theory of Program Design in HTDP
3 of 10
Alloy-Guided Verification of Cooperative Autonomous Driving Behavior
4 of 10
Event stream analytics
5 of 10
User Evaluation Framework for Model Finding Research
6 of 10
Similarity Reasoning over Semantic Context-Graphs
7 of 10
A Framework for Exploring Finite Models
8 of 10
Supporting Multi-Criteria Decision Support Queries over Disparate Data Sources
9 of 10
Extending Complex Event Processing for Advanced Applications
10 of 10