Alarm correlation is becoming one of the most central techniques in managing the high volume of alarm messages in fault management area, since the speed and accuracy of fault management are heavily dependent on it. The alarm correlation approach of…

The explosive growth of the wireless users requires efficient channel utilization. In this thesis, we present a new channel allocation strategy with waiting queue model instead of the block-and-clear model so that the quality of service in cellular network can…

The goal of the thesis presented herein is to provide an overview of current issues in auditory display design and to suggest how these issues may be applied to the development of applications for the World Wide Web (WWW). The…

In the field of education, the Islamic educational institutions, both formal and non-formal, have played a major role in educating Indonesians from the colonial era 1600-1945, to the present day., One of the Islamic educational institutions famous for its Islamic…

As the number of applications of computers controlling safety-critical operations increases, the need to ensure the safety and reliability of the software that controls those computers increases proportionally. Ultimately, such software properties are the result of appropriate design and implementation.…

This thesis empirically compares statistical prediction models using fault count data and fault binary data. The types of statistical models that are studied in detail are Logistic Regression for binary data and Negative Binomial Regression for the count data. Different…

I present a distributed vision system for testing and development of computer vision algorithms. The system's form follows a new approach to the construction of vision systems. Utilizing streaming video interconnects and distributed computer resources, the system provides researchers with…

In this thesis, we present a cognitive theory of object-oriented metrics and an empirical study which has as objectives to formally test this theory while validating the metrics and to build a post-release fault proneness prediction model. The four cognitive…

The Multidisciplinary Design Optimization (MDO) can be defined as a methodology for the design of complex engineering systems where collaboration and abilities to mutually interacting between different disciplines are fundamental. In this thesis, Virtual Aircraft Design and Optimization fRamework (VADOR),…

This thesis presents a new algorithm to compute the probability that a state in a labeled Markov chain model satisfies an LTL specification. A solution to this problem was given by Courcoubetis & Yannakakis in 1995, but unlike their solution…