2010 2nd IEEE International Conference on Information Management and Engineering

It is well known that the use of formal methods in the software development process results in a high-quality software product. However, since formal approaches are just reasoning mechanisms, they do not offer defined ordered steps and guidance for moving between them. Refinement is a technique for moving between specifications but it bears very little resemblance to the real process of software d... View full abstract»

This paper presents a decision support system (DSS) built for supporting the profitability analysis and long term planning of area development projects. Area development projects are shortly introduced, the different decision-making problems related to area development projects, and the multi-agent character of the projects is discussed. The structure and the functionalities of the DSS are present... View full abstract»

More and more companies outsource their logistic functions to third-parties (3PLs) for their expertise. There is considerable evidence to support a link between market orientation and market performance. If 3PLs assist companies to focus on their core business, then it seem s logical to assume a relationship between 3PLs synergies, market orientation and market performance. Unfortunately, these li... View full abstract»

In this paper, the notion of vector-valued multiresolution analysis and biorthogonal vector wavelets are introduced. The existence of biorthogonal finitely supported vector-valued wavelets associated with a pair of biorthogonal finitely supported vector-valued scaling functions is discussed. A procedure for designing a class of biorthogonal vector-valued finitely supported wavelet functions is pro... View full abstract»

Wavelet analysis is a popular subject in science research. In this work, the concept of biorthogonal two-direction finitely supported wavelet packets with four-scale is introduced. A new method for designing two-direction biorthogonal wavelet packets is developed and their properties is investigated by means of time-frequency analysis method, matrix theory and operator theory. The decomposition re... View full abstract»

The rise of frame theory in applied mathematics is due to the flexibility and redundancy of frames. In this work, the notion of a generalized multiresolution structure of L2(R) is proposed. The definition of multiple pseudoframes for subspaces of L2(R) is given. The construction of a generalized multiresolution structure of Paley-Wiener subspaces of L2(R) is investigated. The sufficient condition ... View full abstract»

Notice of RetractionAfter careful and considered review of the content of this paper by a duly constituted expert committee, this paper has been found to be in violation of IEEE's Publication Principles.We hereby retract the content of this paper. Reasonable effort should be made to remove all past references to this paper.The presenting author of this paper has the option ... View full abstract»

In this paper, we derived joint frequency synchronization and channel estimation algorithms MIMO-OFDM systems (Multiple-Input Multiple-Output & Orthogonal Frequency Division Multiplexing). Although the new estimator is also based on Expectation Maximization (EM) algorithm, but unlike traditional estimator the new one utilized some known channel parameters to achieve estimator Matrix Dimensiona... View full abstract»

The web application of HTTP service holds the majority share of the traffic transported through web. A big flaw of online filtering affects data transfer throughput. The filter suffers from being poor to analyze HTTP traffic like html reconstruction, HTML encoding, analyzing HTTP, and so on. This paper presents a remedy to this issue by putting the filter engine in sniffer mode. By this way filter... View full abstract»

This paper examined the problem of carrier phase recovery in turbo-coded OFDM systems. Then introduced a novel a priori probability aided (APPA) OFDM joint carrier phase recovery and signal detection algorithms to eliminate disadvantage impact brought by phase offset. The algorithms utilized the soft value of the extrinsic information generated by iterative maximum a posteriori (MAP) turbo decoder... View full abstract»

Latent Semantic Indexing is a conceptual method in information retrieval systems. In this method, a term-document matrix is built through term weighting techniques. This matrix is mapped to a conceptual space by mathematical decomposition techniques like Singular Value Decomposition. The more documents and key terms collection are, the more element of term-document matrix is created, causes diffic... View full abstract»

Structured multi-signatures is a special multi-signature which multiple signer can cooperate to sign the same message and it provided co-signers with different role/position have different management liability and authorization capability. There are lots of structured multi-signature schemes such as Harn's scheme and other schemes. This paper shows some insecurity in these schemes, and the schemes... View full abstract»

NGN equipment manufacturers present their own solutions in order to implement NGN architecture in telecom networks. The IMS-TISPAN model is reference for these solutions. This model only defines NGN functionalities, so there are various solutions to map these functions to physical nodes. In this paper we compared Siemens, Ericsson, ZTE and Huawei solutions with IMS-TISPAN model and then, we presen... View full abstract»

The purpose of this research is to analyse how Information and Communication Technologies influence Microfinance Institutions performance on three regards: work efficiency, risk management and customer relationship management. Results of the empirical study show that the implementation of ICT enables MFIs in developing and emerging countries to significantly improve their microfinance services whi... View full abstract»

Constellation network is the foundation and key of the development of aerospace in the future, especially Iridium system. The Iridium system is a satellite-based, wireless personal communications network designed to permit a wide range of services. In this article, it uses network analysis software OPNET, with the orbit technology of Iridium satellites, to establish the complicated spatial network... View full abstract»

This paper proposes a feedback-loop infrastructure attached to our legacy multimedia streaming system to continually monitor its activities and performance and rapidly recover the system from failures or error states. Our infrastructure consists of four components: monitors with sensors to measure and record the activities and state of among the components of the running system, analyzer to interp... View full abstract»

Based on the temporal relation data model C-TRDM[1], it puts forward a concept of Mutual Temporal Data in datatable with common Timeline and defines Temporal Data Stack to store Mutual Temporal Data. The Temporal Data Stack is compatible with the traditional data operation and is easy to save and compress temporal data, which is the foundation of the unitive mutual data platform. In add... View full abstract»