Justification is to give evidence, in terms of a proof, for the truth value of the result generated by query evaluation of a logic program. In an earlier work we presented algorithms for justifying logic programs. It was based on using tabling for evaluating the program and post-processing the memo tables created during evaluation. Justification built in this fashion does not compromise the per...

Roaming across different heterogeneous technologies such as 802.11, WiMAX and UMTS will become a requirement of future networking devices, especially for Voice over IP traffic, which nowadays is one of the most important services regarding the performance evaluation of wireline and wireless networks. In this paper we perform a study on the performance of voice packet transmissions during vertic...

Software testing is indispensable for all software development. In software development practice, testing accounts for as much has 50% of total development efforts. Regression testing has been used to support software testing activities and assure the acquirement of appropriate quality through several versions of a software program. Regression testing, however, is too expensive because it requi...

Preference query has received high interest due to its great benefits over various types of database applications. This type of query provides more flexible query operators that retrieve data items which are not dominated by the other data items in all attributes (dimensions). Many preference techniques for preference queries have been introduced including top-k, skyline, multi-objective skylin...

A number of nonlinear programming algorithms are proposed to obtain the approximate solutions for nonproduct form multiclass queueing network models, as well as priority queueing networks. Using sensitivity analysis, we develop an efficient iterative technique for closed queueing networks. We compare the approximate solutions obtained from our approach with the global balance solution. Examples...

This thesis work is focusing on providing analytical models for performance evaluation of wireless mesh networks. The main differences from previous works are that we can provide accurate analysis for both saturated and unsaturated load cases, and can provide closed form expression for endto-end delay, which opens a door for routing optimization, throughput study with congestion control applied...

This paper introduces a Quantization-based System Modeling (QSM) which performs reduction of data traffic requirements in grid computing. The QSM is based on a quantization of system state and provides a high performance grid computing. For realization of QSM in grid computing, this paper introduces how to perform data transmission reduction using quantization approach and suggests the more eff...

Business-driven IT management practices often involve the performance optimization of a system according to business criteria. The increased attention to dynamical aspects of the system behavior, the preference for simulative approaches rather than analytical ones, and the increased level of complexity posed by business-driven performance evaluation significantly complicate the optimization of ...

The Area under the ROC curve (AUC) is a good alternative to the standard empirical risk (classification error) as a performance criterion for classifiers. While most classifier formulations aim at minimizing the classification error, few methods exist that directly optimize the AUC. Moreover, the reported methods that optimize the AUC are often not efficient even for moderately sized datasets. ...