Smart contracts; Blockchain; Privacy; Internet of Things; Smart homes; Cryptography;
机译:COQ中的混合形式验证系统,可确保基于国内服务智能合同的可靠性和安全性
机译:根据智能合同和服务级别协议改编智能家庭服务
机译:通过组合多个系统来实现智能学校系统,使用数据包示踪7.2改进管理服务7.2
机译:基于Etereum的智能家居系统的紧急服务:智能合同实施
机译:智能电网P2P能源交易智能合同:以外型实施和绩效评估
机译:人机交互智能子系统-扩展的基于语音的人机交互系统带有外部智能传感器的实现
机译:连接数据和融合系统以实现更智能的城市服务:韩国U-City服务的两个案例
机译:更智能的安装服务合同