supported by the National Natural Science Foundation of China under Grant Nos. 61972354,61502422,61432017, 61772199,61773348,and 61503338;the Natural Science Foundation of Zhejiang Province of China under Grant Nos. LY18F020028;LY18F030023,LY18F030084,and LY17F030016;and the Innovative Experiment Project of Zhejiang University of Technology of China under Grant No. PX-68182112.
The reliability allowance of circuits tends to decrease with the increase of circuit integration and the application of new technology and materials, and the hardening strategy oriented toward gates is an effective te...
As the popularity of XML (extensible Markup Language) keeps growing rapidly,the management of XML compliant structured-document databases has become a very interesting andcompelling research area. Query optimization f...
Sequential pattern mining is an important data mining problem with broadapplications. However, it is also a challenging problem since the mining may have to generate orexamine a combinatorially explosive number of int...
This paper presents an introduction to the initial design of the Structured Hyper-text Transfer Protocol (STTP), a compatible extension to the HTTP. It includes a new message setfor the control of resource transmissio...
A semi-structured document has more structured information compared to anordinary document, and the relation among semi-structured documents can be fully utilized. Inorder to take advantage of the structure and link i...
The object oriented software development is a kind of promising software methodology and leading to a wholly new way for solving problems. In the research on the rapid construction of Structured Development Envi- ronm...
In this paper,an improved graphic representation for Structured Program Design——N-S-Z (Nassi-Shneiderman-Zhou Diagram)is proposed.It not only preserves the advantages of the conventional graphic and non-graphic repr...
In order to enhance the readability and to simplify the verification of temporal logic programs in the XYZ system,we propose a structured temporal logic language called XYZ/SE,based on XYZ/BE which is the basis langua...