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.
Innovation is playing an increasingly important role in management, but the process of generating creative ideas for innovation mostly relies on skilled persons which are usually unavailable. Information technology is changing the management environment and accumulating huge data, from which data mining discovered a lot of knowledge. However, it’s difficult to use such rough knowledge and information...
The concept of all-in-one digital real estate-management is provided based on the analysis of the current status of the informatization of real estate-management in our country. An especial stress is concentrated on the whole design and the data integration strategy. The research on data integration of all-in-one digital real estate-management, especially on the data integration that the external...
This work proposes an on-the-fly testing approach for Web applications based on automaton theory. Web applications and test directives which are used to select test cases are modeled by FSM (Finite State Machine). Synchronous product is used to combine these two kinds of FSMs in order to check whether the SUT (System Under Test) includes the behavior expressed by the test directive. Test cases are...
A testing approach based on FSM and UML for Web applications is proposed in this paper in order to generate test cases automatically. Web applications are modeled using FSM and the test purpose which is a partial behavior of the SUT (system under testing) are specified by UML sequence diagrams, which can be converted automatically into FSM. Synchronous product is used to combine these two kinds of...
A real sequence chaotic direct sequence spread spectrum (CDS/SS) communication system is proposed. In order to design a system with realizable occupied bandwidth, the trend of variety of chaotic spectra is showed and a CDS/SS system through a band-pass filter (BPF) is taken into account making bandwidth in an acceptable range. The purpose of this paper is to discuss a real sequence CDS/SS system,...
In this paper, a new method to detect the number of signals in the presence of color noise is proposed. Firstly, pseudocovariance matrix is constructed using the covariance of sensors. Then, the information theoretic criteria and Gerschgorin disks are used to estimate the number of signals. Simulation results show that the proposed AIC and MDL can work well in the presence of color noise, while the...
This paper proposes an automatic Web service composition method which considers both services input-output type compatibility and behavioral constraint compatibility based on Petri nets to raise the composition reliability. It presents a novel technique for discovering semantic relations between pre and post conditions of different services using their ontological descriptions. The technique takes...
The quality delivered by existing Web applications is often poor. In this paper, the formal verification techniques for web compositions are presents, and the formal models of web composition are proposed. The definition of well-typedness and congruence of web composition basing on pi-calculus are given. At the same time, this paper analysis both static and dynamic composition, replacement of web...
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.