2023年第28届PRDC:新加坡
第28届IEEE环太平洋可靠计算国际研讨会,PRDC 2023,新加坡,2023年10月24-27日。 电气与电子工程师协会 2023 ,国际标准图书编号 979-8-3503-5876-6 霍拉西奥·弗朗索阿 , 塞萨尔·亚历山大·特谢拉 , 努诺·拉兰基罗 :
证券发行报告识别的再平衡方法实证分析。 1-12 彭彦国 , 刘荣乔 , 高锡悦 , 黄路远 , 郭晶晶 , 涂耀峰 :
SecCT:加密基因组数据上的安全可扩展计数查询模型。 13-22 马泰恩·马利克 , 梅塞瓦特·阿拉姆拉塔纳 , 梅赫迪·马利基 , 彼得·福克森 , 贝罗斯·桑切利(Behrooz Sangchoolie) , 约翰·卡尔森 :
传输延迟和拒绝服务攻击下远程操作道路车辆的仿真评估。 23-29 图巴·汗 , 库马尔·马杜卡尔 , Subodh Vishnu Sharma公司 :
通过神经网络修补高效生成对手输入。 30-38 何塞·弗洛拉 , 保罗·冈萨尔维斯 , 努诺·安图内斯 :
可扩展和弹性微服务应用程序的入侵检测。 39-45 山口由纪 , 青木东崎 :
对手回避攻击的攻击树分析。 46-52 拉赫玛·穆克塔 , Shantanu Pal公司 , 沙伊莱什·米什拉 , 白慧英 , 萨利尔·卡内尔 , 迈克尔·希钦斯 :
基于区块链的物联网互操作体系结构,具有选择性信息披露功能。 53-63 莫滕·孔加德学校 , 英格玛·波塞 , 吉尔·斯尔巴 :
在有测量噪声的ISP网络中发现分流比。 64-70 穆罕默德·易卜拉欣·阿尔库德西 , 格哈德·福勒 , 马库斯·沃尔普 :
一种强制执行无冲突时间触发通信的网络不可知论方法。 71-77 李广杰 , 阎和 , 一汤 , 沈晓晨 , 利民·何 :
计算机辅助工程软件的感知可用性。 78-80 渡边夏弥 , 大冢佐治 , 山田博彦 , 伊藤正也 , 海啸海啸 :
扩展STPA分析人-机共存环境中作为受控过程的人的决策和行为。 81-87 舒海·霍里奥 , 高桥口太 , Kourai健一 :
SEmigrate:通过VM Introspection优化数据保护。 88-98 安德烈·沃津斯基(Andrzej Wardzinski) , 亚历山大·贾泽博维奇 :
开发用于生成模块化保证案例的系统保证参考模型。 99-110 科雷亚(Cláudio Correia) , 丽塔·普拉茨 , 米盖尔·科雷亚 , 路易斯·罗德里格斯 :
PoTR:存储系统及时检索的准确高效证明。 111-122 奥米德·阿斯加里 , 纳格梅·伊瓦基 , 恩里克·马代拉 :
U空间无人机故障预测的交付周期分析。 123-133 阿奇塔·戈什 , J.拉克希米 :
云存储服务的端到端弹性分析框架。 134-141 泰托·阿萨吉(Taito Asaji) , 筑谷达弘 :
将变形测试应用于可靠性计算程序。 142-149 塞利亚·马哈姆迪 , 乔纳森·勒琼 , 朱利安·索佩纳 , 皮埃尔·桑斯 , 梅萨克·马克潘沟 :
OMAHA:基于pHas算法的机会主义消息聚合。 150-160 潮曲 , 周荣谦 , 刘柯 , 卓岩 , 曲海鹏 :
BSCAT:一个用于二进制代码相似性检测的图注意力网络。 161-167 Jérémie装饰 , Burcu Kulahcioglu Ozkan先生 , 周燕卓 :
HotStuff协议系列的活动性检查。 168-179 克里斯蒂安·伯格 , 萨多克·本·图米亚 , 汉斯·雷瑟 :
使用网络仿真对拜占庭容错系统进行可扩展性能评估。 180-190 陈浩石 , 郝晨 , 刘瑞邦 , 李国强 :
基于数据流的零知识证明R1CS规范化生成算法。 191-197 丹尼尔·安德拉德 , 乔·努诺·席尔瓦 , 米盖尔·科雷亚 :
我无法逃避:使用Intel SGX进行云处理器间认证和密封。 198-208 穆罕默德·尤萨夫·阿齐米 , Cemal Yilmaz公司 :
AdapTV+:通过图标识别增强智能电视基于模型的测试适配。 209-216 阿纳姆塔·汗 , 乔·坎波斯 , 纳格梅·伊瓦基 , 恩里克·马代拉 :
无人机飞行控制器的机器学习驱动容错机制。 217-227 徐伟燕 , 张英浩 , 雷切尔·卡德尔-奥利弗 , 阿杰马勒·米安 , 金碧红 :
智能计量系统中基于熵的选择性同态加密。 228-235 西口直树 , 筑谷达弘 :
并发算法的形式化验证:互斥的案例研究。 236-238 Chih-Hong Cheng先生 , 文卡特斯·普拉萨德·文卡塔拉马南 , Pragya Kirti Gupta公司 , 徐云飞 , 西蒙·伯顿 :
使用采样规范保障智能能源系统的基于学习的控制。 239-241 李广杰 , 一汤 , 阎和 , 毕易毅 , 李伟豪 , 张奇雷 :
如何吸引和留住本地新生版本控制系统的用户? 242-243 克里斯蒂安·伯格 , 利维奥·罗德里格斯 , 汉斯·雷瑟 , 维尼修斯·维埃尔莫·科戈 , 艾莉森·贝萨尼 :
海报:FlashConsensus的更快配额。 244-246 菲利普·艾希哈默 , 汉斯·雷瑟 :
利用相似性改进入侵检测:针对实际异质性管理的自治社区形成。 247-249 海龙江 , 阮少伦 , 薄芳 , 王勇(音) , Qiang Guan(强关) :
可视性:使用控制流图进行弹性分析的交互式可视化框架。 250-256 孙玉成 , 侯若木 , 余海峰 :
在多资源区块链中使用多维配额实现最佳弹性。 257-267 郑俊君 , 冈村博彦 , Tadashi Dohi公司 :
多状态系统的层次可靠性建模。 268-277 瓦基加米(Kazuya Wakigami) , 福米奥·马奇达 , Tuan Phung-Duc公司 :
二输入机器学习系统的可靠性和性能评估。 278-286 安德烈·谢洛普金 , 亚历山大·西洛特金 :
基于改进的Glicko-2足球运动员1v1能力评估。 287-291 所罗门牧师 , 法拉·马利克 :
巴基斯坦板球运动员和教练关于教练能力与绩效效能的观点。 292-298 马苏梅·伊扎迪 , Ehsan Goodarzi公司 , 米拉德·法扎利扎德 , 马苏德·马苏米·莫加达姆 , 阿列克西·伊兹迈洛夫 :
使用基于事件的计算机视觉系统管理板球保龄球比赛。 299-303 刘兆宇(音) , Kan Jiang(堪江) , 金松洞 :
职业网球运动损伤预测。 304-308 Robert Seungbok Lee , Sungheum嗯 :
护腕微电流刺激疗法对患有腕管综合征的体力活动老年女性疼痛、运动范围和肌肉力量的影响。 309-313 埃里卡·朱利亚诺 , 切尔西·塔卡 , 克里斯托弗·塔伯 , 梅胡尔·拉瓦尔 , 托尔加·卡亚 , 萨马·森贝尔 :
动态在线仪表板,用于跟踪1级篮球运动表现。 314-318 丹尼尔·博拉林瓦 , 纳迪姆·卡齐 , 穆斯坦萨·阿里·加扎法尔 :
转移重量:人工智能在奥运会举重中的应用。 319-326 斯里什蒂·夏尔马 , Srikrishnan Divakaran公司 , 托尔加·卡亚 , 克里斯托弗·塔伯 , 梅胡尔·拉瓦尔 :
用于损伤风险评估的跳跃着陆生物力学分析框架。 327-331 卢克·威尔德曼 :
手球动作序列的概率模型检验。 332-336 刘兆宇(音) , 郭靖宇 , 莫旺(Mo Wang) , 王瑞聪 , Kan Jiang(堪江) , 金松洞 :
从网球视频剪辑中识别一系列事件:解决时间步识别和微妙的阶级差异。 337-341 Kan Jiang(堪江) , 李嘉玉 , 刘兆宇(音) , 陈东 :
使用蒙版透视场网络进行法庭检测。 342-345 Isuru Supasan Naotunna Andarage公司 , 迪利帕·费尔南多 , 布迪·阿维什卡·洛库阿拉奇 , Malithi Gimhani Athuluwage公司 , 帕维思拉·维杰维克拉玛 :
幼儿行动监测和分析系统(ECAMS)。 346-351 安德烈·博亚洛夫 , 德米特里·布列克洛夫 , 帕夫洛·布雷迪钦 , 尼基塔·科里茨基 , 谢尔盖·乌拉森 :
RaceRens:一款基于机器智能的赛车照片分析应用程序。 352-355 何启祥 , 约翰·科马尔 , 英华记 :
每周预测足球个人比赛动作的关键考虑因素。 356-360
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)