The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
Riham Hassan, Shawn A. Bohner, Sherif El-Kassas, M...
In this paper, we initiate the study of designing approximation algorithms for FaultTolerant Group-Steiner (FTGS) problems. The motivation is to protect the well-studied group-Ste...
International standardization in information representation, organization, and dissemination are meant to eliminate the discrepancies in communication among participating organiza...
Abstract— This study proposes a Batch-Learning SelfOrganizing Map with False-Neighbor degree between neurons (called BL-FNSOM). False-neighbor degrees are allocated between adjac...
On-demand media stream processing service provisioning on top of a service overlay network (SON) has emerged as a promising approach to providing quality-aware and failure-resilie...