Sliding-window computations are widely used for data analysis in networked systems. Such computations can consume significant computational resources, particularly in live systems, where new data arrives continuously. This is because they typically require a complete re-computation over the full window of data every time the window slides. Therefore, sliding-window computations face important s...

We prove the correctness of a sliding window protocol with an arbitrary finite window size n and sequence numbers modulo 2n. The correctness consists of showing that the sliding window protocol is branching bisimilar to a queue of capacity 2n. The proof is given entirely on the basis of an axiomatic theory, and has been checked in the theorem prover PVS. Keywords— μCRL, branching bisimulation, ...

In this paper, we propose a new framework for data stream mining, called the weighted sliding window model. The proposed model allows the user to specify the number of windows for mining, the size of a window, and the weight for each window. Thus, users can specify a higher weight to a more significant data section, which will make the mining result closer to user’s requirements. Based on the w...

Banking industry is exposed to different type of risks like credit, operational, interest rate risk, liquidity risk, foreign currency risk, compliance risk, reputational risk, and country risk. Banking industry can only become stable and stronger if they have proper tools to mitigate these risks. Due to product innovation and complexity of operations banks are giving more importance to mitigate...

The banking industry in Oman is of major importance to Oman’s economy, yet Omani banks continue to conduct most of their transactions using traditional methods. A strong banking industry significantly supports economic development through efficient financial services, and their role in trying to achieve the objectives outlined by the Sultan of Oman will depend heavily on the industry’s capabili...

The Iranian banking sector has undergone huge and substantial reform in the last decade; privatization, establishment of private banks and development of modern technologies (IT). This paper investigates the competitive condition of the Iranian banking industry over the period 2005-2010 using the H-statistic proposed by Panzar and Rosse. The properties of this non-structural methodology make it...

We prove the correctness of a sliding window protocol with an arbitrary finite window size n and sequence numbers modulo 2n. We show that the sliding window protocol is branching bisimilar to a queue of capacity 2n. The proof is given entirely on the basis of an axiomatic theory, and was checked with the help of PVS.

In this paper we propose an online Wavelet Discrete Transform implementation scheme. Our proposal improves the execution time compared to the traditional sliding window method. Also, we modify the definition of the data window concept given in the original scheme. The experiments we performed show that the runtime cost of the proposed algorithm is better than that of the traditional sliding win...

We prove the correctness of a sliding window protocol with an arbitrary finite window size n and sequence numbers modulo 2n. The correctness consists of showing that the sliding window protocol is branching bisimilar to a queue of capacity 2n. The proof is given entirely on the basis of an axiomatic theory. 2000 Mathematics Subject Classification: 68N30 [Specification and verification]; 68Q85 [...