首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   5篇
  免费   0篇
综合类   5篇
  2007年   1篇
  2004年   1篇
  2002年   1篇
  2000年   1篇
  1989年   1篇
排序方式: 共有5条查询结果,搜索用时 15 毫秒
1
1.
2.
该文分析了信息系统软件开发的特点,并在UML静态结构模型中类图的基础上,提出了一种针对信息系统软件开发,特别是数据库系统开发的规格说明语言MISFRAME的语法原型,详细阐明了其在数据库开发中的语法定义,提供了相应的代码生成器,并说明了其生成源代码的原理.  相似文献   
3.
提出了一种新型的网络传输加解密系统 .与传统的网络传输加密系统相比 ,该系统的握手协议引入了“自证明”机制 ,无需第三方参与即可生成共享密钥并进行身份认证 ;此外 ,系统加解密功能分别在 Socket层和 IP层实现 .文中重点阐述了握手协议的设计和加解密功能的实现 ,并简明介绍了 L KM技术在开发过程中的应用 .  相似文献   
4.
普通SIP应用由于受到后台服务器的控制,会面临单点服务器故障或遭受攻击导致网络整体瘫痪的危险,网络用户通信的自由度也受到了一定限制.基于P2P架构的SIP应用,利用P2P实现用户的注册、加入、定位、查找和路由,具有通信负载平衡、系统不易瘫痪等优点.SIP向P2P架构的发展,改善了原SIP 网络的可靠性和可扩展性,有利于实现与传统通信系统的互联互通.  相似文献   
5.
介绍了一种新型的形式说明语言PD-Cal,该语言具有良好的表达能力以及丰富的类型。通过对由该语言描述的定理证明过程进行类型检查,可判断该证明是否是给定定理的正确的证明。在该思想的基础上,设计并实现了PD-Cal定理证明检查器。  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号