工学 >>> 计算机科学技术 >>> 计算机科学技术基础学科 人工智能 计算机系统结构 计算机软件 计算机工程 计算机应用 计算机科学技术其他学科
搜索结果: 1-7 共查到计算机科学技术 release相关记录7条 . 查询时间(0.015 秒)
在Coffey和Saidha提出的CS逻辑(CS逻辑将时间与逻辑结构相结合,可用于形式化分析Timed-release公钥协议的时间相关性秘密的安全性)的基础上,提出了CS逻辑的扩展逻辑,它更好地反映了Timed-release公钥协议的特性,并对一个协议实例进行了有效的形式化分析.图2参6
Release 2007 now available!     DHI Software       2007/2/7
05 Feb. 2007,Following the successful Technical Preview the DHI Software Release 2007 has now officially been released.
ISLANDIA, N.Y., January 23, 2007 – CA (NYSE: CA) today announced a new release of BrightStor Storage Resource Manager (SRM) which extends its centralized management, automated monitoring and reporting...
ISLANDIA, N.Y., December 4, 2006– CA (NYSE: CA) today announced enhanced identity federation capabilities as part of its eTrust SiteMinder 6.0 SP5 release. These capabilities enable customers to more ...
ISLANDIA, N.Y., December 4, 2006 – CA (NYSE: CA) today announced the latest release of its Identity and Access Management (IAM) solution that helps organizations minimize risk while reducing the cost ...
ISLANDIA, N.Y., November 27, 2006 – CA (NYSE: CA) today announced Unicenter Advanced Systems Management (Unicenter ASM) r11.1, a platform-agnostic solution that provides centralized management for vir...
ISLANDIA, N.Y., December 4, 2006 – CA (NYSE: CA) today announced the latest release of its Identity and Access Management (IAM) solution that helps organizations minimize risk while reducing the cost ...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...