这是我们参加06年全国开源软件的竞赛作品，已经在SourceForge上开源，是一个针对BPEL的形式化验证工具...

一个画1～6次方程的JAVA源程序，用滑条来选定各项系数，由于时间问题未能做得。-A painting equation 1 ~ 6 times the JAVA source code, to be selected by sliding the coefficient, as a matter of time failed to do.

Java program explains how to works with threads it takes an array, spreads it to threads,and then it collects the results from each thread.

JAVA编程制作的几个程序，仅供参考。有疑问，请和版主联系。-JAVA programming produced by some process, for informational purposes only. Have questions, please contact and moderators.

利用Java来实现C/S的客户端服务器聊天小程序。-The use of Java to implement C/S client-server chat applet.

Java程序模拟操作系统中先进先出、短作业优先、响应比高者优先的作业调度-Java FIFO simulation operating system, the short operating priority, in response to high priority of the job scheduling

JAVA实现的文件管理中获取系统根目录-JAVA document management system root directory access

JAVA操作Excel文件,采用POI，里面有POI的文件，运行的时候需要先创建e:foo.xls文件。没有密码，直接解压，需要更多信息：可以查看http://hi.baidu.com/lutao1984/blog/item/14458d50c9d09360853524f6.html页面-JAVA operation Excel documents, using POI, which has POI documents, running time required to create e : foo.xls document. No password, directly extract need more information : can check http :// hi.baidu.com/lutao1984/blog/item/14458 d50c9d09360853524f6.html pages

简单色彩过滤。可进行以点阵为基础的灰度模式转换。-simple color filter. Lattice can be a basis for the gray mode conversion.

一个关于时间的程序-A program concerning time

Mp3NC(mp3文件改名的小工具)-Mp3NC (mp3 file naming the small tools)