Ase

paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended functions, we identify and build formal models of security threats, which are potential misuses and anomalies of the intended functions that violate security goals. Threat mitigations are further modeled in an aspect-oriented paradigm. Taking Petri nets

This paper presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or float variables. Our approach is based on consistency techniques integrating integer and float vari-ables. We handle statement, branch and path coverage ...

An approach to automatic imperative program synthesis is presented which builds upon Gries' vision of developing a program and its proof hand in hand. To achieve this vision we rely on the proof planning paradigm, which enables the coupling of both heuristic and ...

Investor’s psychological behavior normally seek to invest in companies that are characterized by stable and positive dividend stream. Dividend policy is related to the decision of whether to distribute or not to distribute cash to shareholder. This type of decision is not taken in isolation from other related financial factors, as such decision is considered an integrated part of the company’s overall financial decisions. This study aims at investigating the apropos of accounting information indicators (financial indicators) and their role in determining cash dividend policy adopted by companies listed within the major sectors of Amman Stock exchange. Extracting the accounting information indicators pertaining to the three main sectors (Banking, Industrial and Services) of ASE, and by applying the simple linear regression statistical approach, the results indicated that the dividend policy adopted by the three sectors were mainly determined by accounting information indicators and t...

Radio over fiber (RoF) techniques are good candidates to create the backbone of the next generation of wireless networks. Many parameters affect RoF communications such as amplified spontaneous emission noise (ASE), four-wave mixing nonlinearity (FWM), the modulation, channel spacing, switching voltage, and phase shifter. In this paper, we propose an improved model of RoF communication systems using subcarrier multiplexing/wavelength division multiplexing (SCM/WDM) technique with unequal channel spacing and 1-km Erbium-doped fiber amplifier (EDFA). Simulation results confirmed that we could obtain the lowest bit error rate and noises when the EDFA is placed at 1 km from the transmitter by using optical single-sideband (OSSB) modulation at frequencies 193.1 THz, 193.2 THz, 193.35 THz, and 193.6 THz. Keywords: ASE DSB OSSB RoF SCM This is an open access article under the CC BY-SA license. 1. INTRODUCTION Radio over fiber (RoF) is one of the solutions for modern communication systems. It is used to combine optical fiber communication and wireless mobile networks. This combination provides high-quality signals, low cost, and high bandwidth, which brings many advantages to conventional wireless communication systems [1-4]. RoF allows modulation of the optical source by electrical signals, and then the optical signal will be transmitted via optical fiber to the remote station [5]. RoF allows reducing power consumption while the remoted side has high-frequency carriers. Wavelength division multiplexing (WDM) is a technique that allows multiplexing many wavelengths and transmission in a single optical fiber. It helps increase the bit rate, capacity, flexibility, and reduce the cost of optical communication systems [6, 7]. WDM is also used in the RoF system to increase the capacity and bandwidth of wireless systems. This combination significantly increases coverage area and mobility of optical and wireless mobile networks. However, the performance of WDM-RoF systems is severely affected by the nonlinear effect in fiber optics, especially FWM [8]. To reduce the influence of FWM, we can use the mechanism of channel allocating with unequal spacing [9], the pairing combinations of differently linear-polarized optical signals [10].

One activity performed by developers during regression testing is test-suite augmentation, which consists of assessing the adequacy of a test suite after a program is modified and identifying new or modified behaviors that are not adequately exercised by the existing test suite and, thus, require additional test cases. In previous work, we proposed MATRIX, a technique for test-suite augmentation based on dependence analysis and partial symbolic execution. In this paper, we present the next step of our work, where we (I) improve the effectiveness of our technique by identifying all relevant change-propagation paths, (2) extend the technique to handle multiple and more complex changes, (3) introduce the first tool that fully implements the technique, and (4) present an empirical evaluation performed on real software. Our results show that our technique is practical and more effective than existing test-suite augmentation approaches in identifying test cases with high fault-detection capabilities.