The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The Pacific‐Japan (PJ) pattern is the dominant teleconnection over East Asia, closely related to the summer precipitation on various time scales. However, studies on the connection between the interdecadal variations of the PJ pattern and sea surface temperature (SST) forcing are still limited. This study indicates that the relationship between the PJ pattern and ENSO presents a pronounced interdecadal...
Among various abstract domains, the interval domain is simple but also less precise. To improve the precision of static defect detection based on the interval domain, we propose a symbolic three-valued logic (STVL) based interval analysis. Our STVL differs from other symbolic techniques in that it is capable of handling the logical relationship between variables, which could help eliminating false...
This paper firstly analyzes the security problems which the information systems are facing such as network attacks and attacks by use of communication protocol. Then it proposes a security testing platform basing on interface communication protocols in the light of the characteristics of the communication in information systems. It describes in detail the implementation of this platform. With this...
Precise interprocedural analysis is crucial for defect detection faced with the problem of procedure call. Procedure summary is an effective and classical technique to handle this problem. However, there is no general recipe to construct and instantiate procedure summaries with context-sensitivity. This paper addresses the above challenge by introducing a unified symbolic procedure summary model (PSM),...
Property simulation is an efficient approach that checks if a program satisfies certain temporal safety properties, and inter-procedural property simulation terminates in polynomial time and space. This paper first proposes a general framework for bug checking. Then, it defines function summary as a stand-in for the function. It improves property simulation and gives a new global analysis approach,...
This paper extends the theory of interval arithmetic and applies interval analysis in software static analysis. It defines the concept of interval-set on numeric variables and its operations, introduces the interval computations on Boolean and reference types, and gives the possible value set and necessary value set of a variable in the condition expression. It also presents an approach of static...
CPL (Call Process Language) is a scripting language for the description and control of communication service, and it expresses its content by using functional component in XML language. This paper presents a component reuse mechanism, and defines a matrix technique to inspect the conflict of component composition. By comparing the difference of CPL and Java grammar, this paper brings forward a translation...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.