浏览条目

浏览/检索结果: 共4条,第1-4条 帮助

限定条件                
已选(0)清除 条数/页:   排序方式:
Localized Explanations for Automatically Synthesized Network Configurations 会议论文
HOTNETS 2024: TWENTY-THIRD ACM WORKSHOP ON HOT TOPICS IN NETWORKS
作者:  Amirmohammad, Nazari;  Zhang YZ(张永政);  Mukund, Raghothaman;  Chen HX(陈浩贤)
Adobe PDF(562Kb)  |  收藏  |  浏览/下载:80/1  |  提交时间:2024/09/27
Verifying Declarative Smart Contracts 会议论文
INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, Lisbon, Portugal, 2024-4-14 - 2024-4-19
作者:  Chen, Haoxian;  Lu, Lan;  Massey, Brendan;  Wang, Yuepeng;  Loo, Boon Thau
Adobe PDF(1059Kb)  |  收藏  |  浏览/下载:147/1  |  提交时间:2024/04/09
Interpretable Network Synthesis via Localized Specifications 会议论文
PROCEEDINGS OF THE 2024 SIGCOMM WORKSHOP ON FORMAL METHODS AIDED NETWORK OPERATION, FMANO 2024, null,Sydney,AUSTRALIA, AUG 04-08, 2024
作者:  Chen, Haoxian
Adobe PDF(554Kb)  |  收藏  |  浏览/下载:56/2  |  提交时间:2024/09/18
Verifying Declarative Smart Contracts 会议论文
ARXIV, Lisbon, Portugal, 14-20 April 2024
作者:  Chen, Haoxian;  Lu, Lan;  Massey, Brendan;  Wang, Yuepeng;  Loo, Boon Thau
Adobe PDF(724Kb)  |  收藏  |  浏览/下载:79/0  |  提交时间:2024/06/03