近日,武汉大学国家网络安全学院教授陈晶课题组2022级博士生梁瑞超的研究成果被第46届IEEE/ACM International Conference on Software Engineering(ICSE 2024)会议录用。会议将在2024年4月14日至20日在葡萄牙里斯本举行。梁瑞超为第一...近日,武汉大学国家网络安全学院教授陈晶课题组2022级博士生梁瑞超的研究成果被第46届IEEE/ACM International Conference on Software Engineering(ICSE 2024)会议录用。会议将在2024年4月14日至20日在葡萄牙里斯本举行。梁瑞超为第一作者,陈晶为通讯作者,武汉大学为第一单位。论文题为“PonziGuard:Detecting Ponzi Schemes on Ethereum with Contract Runtime Behavior Graph(CRBG)”,在陈晶教授、杜瑞颖教授、何琨副研究员、吴聪博士后联合指导下完成。展开更多
近日,电子科技大学计算机科学与工程学院(网络空间安全学院)陈厅教授指导的博士研究生宋书玮以第一作者身份投稿的学术论文《Move智能合约安全性的实证研究:引入MoveScan进行增强分析》(Empirical Study of Move Smart Contract Securit...近日,电子科技大学计算机科学与工程学院(网络空间安全学院)陈厅教授指导的博士研究生宋书玮以第一作者身份投稿的学术论文《Move智能合约安全性的实证研究:引入MoveScan进行增强分析》(Empirical Study of Move Smart Contract Security:Introducing MoveScan for Enhanced Analysis)被软件工程领域的国际会议ISSTA接收,这是电子科技大学作为第一单位在ISSTA发表的首篇文章。陈厅、陈嘉弛、罗夏朴为通讯作者。展开更多
Model driven generative domain engineering (MDGDE) is a domain engineering method aiming to develop optimized, reusable architectures, components and aspects for application engineering. Agents are regarded in MDGDE a...Model driven generative domain engineering (MDGDE) is a domain engineering method aiming to develop optimized, reusable architectures, components and aspects for application engineering. Agents are regarded in MDGDE as special objects having more autonomy, and taking more initiative. Design of the agent involves three levels of activities: logical analysis and design, physical analysis, physical design. This classification corresponds to domain analysis and design, application analysis, and application design. Agent is an important analysis and design tool for MDGDE because it facilitates development of complex distributed system—the mobile robot. According to MDGDE, we designed a distributed communication middleware and a set of event-driven agents, which enables the robot to initiate actions adaptively to the dynamical changes in the environment. This paper describes our approach as well as its motivations and our practice.展开更多
文摘近日,武汉大学国家网络安全学院教授陈晶课题组2022级博士生梁瑞超的研究成果被第46届IEEE/ACM International Conference on Software Engineering(ICSE 2024)会议录用。会议将在2024年4月14日至20日在葡萄牙里斯本举行。梁瑞超为第一作者,陈晶为通讯作者,武汉大学为第一单位。论文题为“PonziGuard:Detecting Ponzi Schemes on Ethereum with Contract Runtime Behavior Graph(CRBG)”,在陈晶教授、杜瑞颖教授、何琨副研究员、吴聪博士后联合指导下完成。
文摘近日,电子科技大学计算机科学与工程学院(网络空间安全学院)陈厅教授指导的博士研究生宋书玮以第一作者身份投稿的学术论文《Move智能合约安全性的实证研究:引入MoveScan进行增强分析》(Empirical Study of Move Smart Contract Security:Introducing MoveScan for Enhanced Analysis)被软件工程领域的国际会议ISSTA接收,这是电子科技大学作为第一单位在ISSTA发表的首篇文章。陈厅、陈嘉弛、罗夏朴为通讯作者。
文摘Model driven generative domain engineering (MDGDE) is a domain engineering method aiming to develop optimized, reusable architectures, components and aspects for application engineering. Agents are regarded in MDGDE as special objects having more autonomy, and taking more initiative. Design of the agent involves three levels of activities: logical analysis and design, physical analysis, physical design. This classification corresponds to domain analysis and design, application analysis, and application design. Agent is an important analysis and design tool for MDGDE because it facilitates development of complex distributed system—the mobile robot. According to MDGDE, we designed a distributed communication middleware and a set of event-driven agents, which enables the robot to initiate actions adaptively to the dynamical changes in the environment. This paper describes our approach as well as its motivations and our practice.
