注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 验证码程序验证码程序

  2. 验证码程序验证码程序验证码程序验证码程序

  3. 所属分类：其它

    • 发布日期：2009-12-01
    • 文件大小：1024
    • 提供者：tianwang670

  1. C# 制作程序验证码

  2. C# 制作程序验证码，这个可以用在登入界面上。

  3. 所属分类：C#

    • 发布日期：2011-06-30
    • 文件大小：39936
    • 提供者：woshiayi1

  1. JAVA经典问题自己写程序验证

  2. JAVA经典问题自己写程序验证 JAVA经典问题自己写程序验证 JAVA经典问题自己写程序验证

  3. 所属分类：Java

    • 发布日期：2011-08-31
    • 文件大小：60416
    • 提供者：zhouli253

  1. WinMD5程序监测

  2. WinMD51.1 程序验证 病毒感染监测 双击打开，将程序拖进去就能显示出改程序的唯一编码。如果被必读感染或损坏，这个唯一编码就会被改变。

  3. 所属分类：C++

    • 发布日期：2012-12-31
    • 文件大小：83968
    • 提供者：seeklm

  1. 歌德巴赫猜想的计算机程序验证，并用TEXT文件输出

  2. 歌德巴赫猜想的计算机程序验证，可以很快捷地发现几乎算到的自然数都满足哥德巴赫猜想。

  3. 所属分类：C

    • 发布日期：2013-01-13
    • 文件大小：2048
    • 提供者：yanglian168168

  1. iFIX如何使用应用程序验证器验证项目是否被修改

  2. iFIX如何使用应用程序验证器验证项目是否被别人修改过。

  3. 所属分类：专业指导

    • 发布日期：2015-09-10
    • 文件大小：192512
    • 提供者：liang82109

  1. 模型检测与程序验证

  2. 模型检测与程序验证

  3. 所属分类：系统安全

    • 发布日期：2016-10-12
    • 文件大小：817152
    • 提供者：a469142780

  1. 小应变大位移大转角梁单元刚度矩阵推导及程序验证

  2. 小应变大位移大转角梁单元刚度矩阵推导及程序验证，谭美超，，本文推导出了小应变大位移大转角梁单元刚度矩阵，突破了单元小变形的限制，使其能适应于任意大位移和小于360o的转动，并验证了其�

  3. 所属分类：其它

    • 发布日期：2020-01-19
    • 文件大小：359424
    • 提供者：weixin_38693657

  1. 静态分析和程序验证技术提高下的软件安全漏洞防护

  2. 网络技术逐渐改变了人们的生产、生活、学习甚至思维方式。然而,也看到网络其实并不安全。设法提高软件安全漏洞的防护能力显得非常具有现实意义。安全漏洞的形成会受到其周围系统环境和随着时间的推移而不断受到影响。这需要不断总结软件安全漏洞发掘方法,搭建更好的软件安全漏洞检测模型,开发出更好的动静态程序分析的漏洞检测工具,切实提高软件运行的安全性。

  3. 所属分类：其它

    • 发布日期：2020-07-05
    • 文件大小：139264
    • 提供者：weixin_38671048

  1. 安装oracle11g INS-30131执行安装程序验证所需的初始设置失败的解决方法

  2. 主要为大家详细介绍了安装oracle11g INS-30131执行安装程序验证所需的初始设置失败的解决方法，感兴趣的小伙伴们可以参考一下

  3. 所属分类：其它

    • 发布日期：2020-09-10
    • 文件大小：287744
    • 提供者：weixin_38719702

  1. 安装oracle11g INS-30131执行安装程序验证所需的初始设置失败的解决方法

  2. 安装oracle11g [INS-30131] 执行安装程序验证所需的初始设置失败。 解决方法 第一步： 控制面板>所有控制面板项>管理工具>服务>SERVER 启动 TCP/IP 启动 第二步： 1.点击 开始->运行 ，输入regedit ,然后回车键进入注册编辑器 2.找到并点击HKEY_LOCAL_MACHINE\SYSTEM\CurrentControlSet\services\LanmanServer\Parameters 3.如果AutoSha

  3. 所属分类：其它

    • 发布日期：2020-12-15
    • 文件大小：291840
    • 提供者：weixin_38582719

  1. 使用验证程序验证Petri网中基于语言的不透明度

  2. 使用验证程序验证Petri网中基于语言的不透明度

  3. 所属分类：其它

    • 发布日期：2021-03-23
    • 文件大小：391168
    • 提供者：weixin_38712279

  1. 基于CEGAR的Web应用程序验证方法

  2. 基于CEGAR的Web应用程序验证方法

  3. 所属分类：其它

    • 发布日期：2021-03-08
    • 文件大小：1048576
    • 提供者：weixin_38661008

  1. 基于抽象解释理论的程序验证技术

  2. 抽象解释(abstract interpretation)理论是Cousot.P和Cousot.R于1977年提出的程序静态分析时构造和逼近(approxiamation)程序不动点语义的理论.描述了程序语义基于Galois连接的抽象解释理论框架,讨论了基于抽象解释理论的程序变换、程序安全性验证和活性性质验证这3种典型的应用,并指出了基于抽象解释理论的程序验证的主要研究方向.

  3. 所属分类：其它

    • 发布日期：2021-02-23
    • 文件大小：276480
    • 提供者：weixin_38599518

  1. Byte-Palindromo：程序验证了palabras palindromas-源码

  2. Byte-Palindromo：程序验证了palabras palindromas

  3. 所属分类：其它

    • 发布日期：2021-02-22
    • 文件大小：17408
    • 提供者：weixin_42139429

  1. MSVL语言的公理系统的程序验证

  2. MSVL语言的公理系统的程序验证

  3. 所属分类：其它

    • 发布日期：2021-02-20
    • 文件大小：200704
    • 提供者：weixin_38696090

  1. PV_Assignments：程序验证分配-源码

  2. PV_Assignments：程序验证分配

  3. 所属分类：其它

    • 发布日期：2021-02-18
    • 文件大小：7168
    • 提供者：weixin_42099302

  1. 验证密码强度Javascript：密码验证程序验证我们在各种注册网站中看到的密码强度-源码

  2. 验证密码强度Javascr ipt

  3. 所属分类：其它

    • 发布日期：2021-02-14
    • 文件大小：2048
    • 提供者：weixin_42108948

  1. truemail：:rocket:可配置的框架不可知的普通Ruby:incoming_envelope:电子邮件验证程序验证程序。 通过Regex，DNS和SMTP验证电子邮件。 确保电子邮件地址有效且存在-源码

  2. 可配置的框架不可知的普通Ruby电子邮件验证程序。 通过Regex，DNS和SMTP验证电子邮件。 确保电子邮件地址有效并且存在。 实际和可维护的文档 :books: 因为开发商住。 目录 概要 电子邮件验证是一件棘手的事情。 验证电子邮件地址的方法有多种，并且所有机制都必须符合最佳做法并提供适当的验证。 Truemail gem可帮助您通过正则表达式模式，DNS记录的存在以及当前电子邮件服务器上电子邮件帐户的真实存在来验证电子邮件。 语法检查：通过正则表达式模式检查电子邮件地址。 邮件服

  3. 所属分类：其它

    • 发布日期：2021-02-05
    • 文件大小：86016
    • 提供者：weixin_42139252

  1. vPAV：viadee流程应用程序验证器-源码

  2. viadee流程应用验证器（vPAV） 该工具检查Camunda项目的一致性，并发现流程驱动的应用程序中的错误。 称为JUnit测试，它会发现esp。 类路径中的给定BPMN模型与基础Java项目的源代码不一致，例如对不存在的Java类或不存在的Spring bean的委托引用。 一致性检查的列表可以在找到。 要开始使用Viadee Process Application Validator，请阅读和。 我们分叉了以演示vPAV的轻松集成。 我们建议将一致性检查集成到您的CI版本中-您不

  3. 所属分类：其它

    • 发布日期：2021-01-30
    • 文件大小：3145728
    • 提供者：weixin_42168230
« 12 3 4 5 6 7 8 9 10 ... 50 »