返回首页
-
-
联手形式化方法专业委员会：“状态空间爆炸”术语发布 | CCF术语快线
2022-05-06模型检测是一种验证系统（特别是并发系统）是否满足规范的形式化方法，基本策略是通过遍历系统状态空间来完成系统验证。然而，系统状态的数目随着系统规模的增加—特别是并发分量的增加—而呈指数级增长，这就是状态空间爆炸问题，是模型检测面对的挑战之一。
-
【报名】5月12日TF57：数据安全之流动数据的安全管控
2022-05-05?本期会议邀请到数安行、全知科技、红途科技等数据安全领域的创新型企业的代表，剖析流动数据的安全管控所面临的变革与挑战，探讨保障数据安全流动的理念和最佳实践，帮助组织推进数字化转型，让数据安全地创造价值。欢迎报名参加！
-
-
TF53回顾 | 近两百人在线探讨，大规模知识表示与推理实践的技术魅力
2022-05-044月26日，CCF TF第三期活动预训练时代的大规模知识表示与推理实践吸引了300多人报名参加，近200人实时在线探讨互动。来自腾讯、阿里巴巴和中科院软件所的研究人员围绕主题从不同层面分享了研究成果和行业最佳实践，同时与参会者进行热烈的学术交流。
-
联手分布式计算与系统专业委员会：“边缘运行时情境”术语发布 | CCF术语快线
2022-04-29本期发布术语热词：边缘运行时情境(Edge Runtime Context)。在边缘计算“云-边-端”协同的背景下，如何对边缘节点的运行时配置和“云-边”协同模式进行自适应的优化决策成为一个关键性问题。“边缘运行时情境” 从任务运行时边缘节点的上下文环境角度出发，为边缘计算在配置和部署方面的优化决策提供了有效的凭据。
-
CCF开源发展委员会开源高校行第三期：复旦大学
2022-04-292022年4月28日晚上，CCF开源发展委员会开源高校行第三期复旦大学站的活动在线上举行。本次活动邀请到了小米集团副总裁崔宝秋博士、北京大学计算机学院教授周明辉老师、英特尔软件与先进技术事业部云基础设施软件研发总监王庆博士三位嘉宾进行分享报告，并与复旦大学的老师和同学们开展互动交流。复旦大学计算机科学技术学院副院长彭鑫教授主持了本次活动。
-
TF52回顾|畅想未来出行方式，我们都在路上——智能科技车与路
2022-04-284月21日，CCF TF2022第二期活动圆满落幕，TF52智慧、融合、安全——智能科技车与路的主题吸引了众多报名。来自高德、腾讯、华为等头部企业代表深入探讨智慧交通、智能网联、自动驾驶等热点领域的最佳实践，展现科技创新，对实现汽车终端智能化、交通管理智能化，升级出行方式提供了良好思路。
京公网安备 11010802032778号
