At first,parameterized extended context free grammar has been used to formally represent security related behavior model for multithreaded Java program;then the way of automatic generation of such model is introduced,and an approach to statically check security related behavior model is formalized.

Research on Testing Strategies and Methods for Java Multithread;

Realization of most short-path parallel algorithm during all apexes based on Java multithreading;

The paper gives the design and implementation of Monternet business based on USSD, by Automata Theory and Java Multithreading Technology.

Thinking of the calculate problem,we introduce the method of JAVA Multi-Threading to realize parallel computation.

This paper first introduces the definition of Nodelock in OEM software products and the current development of middleware J2ee, and then illustrates the systematic structure of Nodelock in OEM with the emphasis on the design principles of J2ee-based Nodelock in OEM and the Java multi-thread technology as well, finally demonstrates its efficiency with cases.

Optical Link Design Based on Java Applet;

How to use Java Applet to Implement Data Auto-refreshing on Web Pag es in In dustrial Environment;

This paper introduces a method of using Java Applet and VRML language′s EAI interface to implement data auto-refreshing in substation 3D virtual monitoring system.