Search results for: SMT

CAPEF: Context-Aware Policy Enforcement Framework for Android Applications by Saad Inshi 1, Mahdi Elarbi 1, Rasel Chowdhury1,* , Hakima Ould-Slimane 2 , Chamseddine Talhi 1 1 Department of Software Engineering and Information Technology, École de technologie supérieure, Montréal, Canada2 Département de Mathématiques et d’Informatique, Université du Québec à Trois-Rivières, Trois-Rivières, Canada * Author to whom correspondence …

Continue reading “CAPEF: Context-Aware Policy Enforcement Framework for Android Applications”

Harmonic and Sequence Component Estimation by a Novel Method by Abinash Rath 1,*  and Rumpa Saha 2 1 National Institute of Technology, Department of Electrical Engineering, Rourkela, 769008, India 2 Aliah University, Department of Electrical Engineering, Kolkata, 700156, India * Author to whom correspondence should be addressed. Journal of Engineering Research and Sciences, Volume 1, …

Continue reading “Harmonic and Sequence Component Estimation by a Novel Method”