注册 登录
搜索到与相关的文章
个人简介
个人简介
java-web项目加密运行（支持window/linux）
java-web项目加密运行（支持window/linux）
网址导航
网址导航
JAVA项目加密(Windows/Linux/Mac/龙芯系统)
JAVA项目加密(Windows/Linux/Mac/龙芯系统)
视频讲解-Java调用DLL
视频讲解-Java调用DLL

热门排行

编程技术

八卦一下模型验证(三)

CSDN的大大们啊，求求你们了啊。修复这坨不能自动上传图片的错误啊。好像已经三个月了啊。图多的时候发文章真地很痛苦啊。OrzOrzOrz准备八卦Edmund等人算法时才想起，人1986年成名作是讨论用CTL(ComputationalTreeLogic)作规范语言的模型验证算法，而第一篇八卦失心疯只介绍了LTL。虽说也有算法对付Kripke结构上的LTL模型验证，但一来该算法的复杂度为P-SPACE，远不如在Kripke结构上玩儿CTL的算法复杂度来得震撼

系统 2019-08-29 23:01:18 2819

编程技术

基于Float的布局

基于Float的布局基于Float的布局是一种非常容易使用的布局模式。Float属性指元素自动填充页面的空间，Float可以向左浮动，也可以向右浮动。基于Float的布局（也称浮动布局）就是根据这个属性的特性来定义元素的布局。现在一般网站都会采用两列布局和三列布局。如下图图1两列布局图2三列布局1两列Float布局布局头
……..
……

系统 2019-08-29 22:35:01 2819

编程技术

11.29号－－－－solaris 10中的root禁用问题

今天在vmware安装solaris10的系统。后来想用secureCRT工具远程登录来这个系统。但是一直提示密码错误。后来在网上查了一下，是因为solaris10默认情况下root用户是不能用ssh远程登录的。解决方法：1.修改/etc/ssh/sshd.conf文件，将PermitRootLoginno这个参数改成PermitRootLoginyes2.之后重启系统reboot哎，有时候一个小问题会让想死的心都有了，看来经验真的很重要啊。关闭图形桌面的

系统 2019-08-29 22:27:48 2819

编程技术

KANOTIX/KNOPPIX硬盘安装后的设置，汉化及其他

KANOTIX/KNOPPIX硬盘安装后的设置，汉化及其他收藏KANOTIX/KNOPPIX硬盘安装后的设置，汉化及其他发信人:magictux(潇湘馆主),信区:Linux标题:KANOTIX/KNOPPIX硬盘安装后的设置，汉化及其他发信站:一见如故BBS(SunApr1716:59:472005),本站(yjrg.net)标题：KANOTIX／KNOPPIX的硬盘安装后的一些工作作者：magictux［潇湘馆主］原发地：一见如故硬盘安装后自然要做一些

系统 2019-08-29 22:24:49 2819

编程技术

Performance improvement techniques in String

ThistopicillustratestheperformanceimprovementtechniquesinStringandStringBufferwiththefollowingsections:OverviewofStringandStringBufferBetterwayofcreatingStringsOptimizationbyinterningStringsOptimizationtechniqueswhenConcatenatingS

系统 2019-08-29 22:13:16 2819

编程技术

域名设置相关知识

CNAME别名是什么？分类:疑难问题2008.6.614:14作者：xiahuan|评论：0|阅读：68CNAME(CanonicalName)记录，通常称别名指向。在这里，您可以定义一个主机别名，比如设置ftp.***.com，用来指向一个主机www.***.com,那么以后就可以用FTP.***.com来代替访问www.***.com了。什么是TTL值？TTL值全称是“生存时间（TimeToLive)”，简单的说它表示DNS记录在DNS服务器上缓存时间

系统 2019-08-29 22:06:38 2819

C#

C# WinForm捕获全局异常

许多小公司的项目都缺少异常处理模块，我们也是。经常会出现这种情况，用户在UI界面操作，就直接跳出堆栈调用的异常信息对话框，老板看到那叫一个火啊！你们的代码怎么天天出现乱码。呵呵！这就是没有异常捕获处理导致的，现在许多人写代码都没意识处理异常，只要实现功能就好，我的许多组员也是如此。项目刚接手，所以打算做一个异常全局捕获，统一处理的模式，采用具体详细信息的对话框提醒与日志文件保存方式。以下是根据网上找的C#winform全局异常捕获做了点修改。（等项目异常处

系统 2019-08-12 09:30:33 2819

编程技术

产品专家Marty Cagan：不做只会编码的人

摘自《程序员》MartyCagan是享有世界声誉的产品管理专家，曾担任Netscape副总裁、eBay产品管理及设计高级副总裁。近日，记者在“PM-China首届产品经理高峰论坛”上对他做了专访，请他分享自己的产品管理历程。程序员的工作《程序员》：据我所知，您先后毕业于加州大学和斯坦福大学。这两段经历有何不同？打造用户喜爱的产品MartyCagan：像这个行业的大多数人一样，我在加州大学修了计算机科学专业；后来我又去斯坦福大学修了一个类似于MBA的专业，那

系统 2019-08-12 09:29:51 2819

数据库相关

GDI+ Tutorial for Beginners

原文GDI+TutorialforBeginnersGDI+isnextevolutionofGDI.UsingGDIobjectsinearlierversionsofVisualStudiowasapain.InVisualStudio.NET,MicrosofthastakencareofmostoftheGDIproblemsandhavemadeiteasytouse.GDI+residesinSystem.Drawing.dllassembly

系统 2019-08-12 01:54:26 2819