Correlation Dependencies between Variables in Feature Selection on Boolean Symbolic Objects

Djamal Ziani

#Feature selection # dependencies; symbolic data analysis # discrimination criteria

An Ontology-based i* Goal-Oriented Referential Integrity Model in Systems of Systems Context

Suhair AlHajHassan1, Mohammed Odeh1, Stewart Green1, and Asem Mansour2 1Software Engineering Research Group, University of the West of England (UWE), UK 2King Hussein Cancer Centre (KHCC), Jordan

#SoS # goal-oriented modelling # i* framework # GRI # ontology # semantic i* enrichment # cancer care informatics

Formal Architecture and Verification of a Smart Flood Monitoring System-of-Systems

Nadeem Akhtar1 and Saima Khan2 1Department of Computer Science and IT, the Islamia University of Bahawalpur, Pakistan 2Department of Computer Science Faculty of Computer Science and Information Technology, Virtual

#Flood monitoring; system-of-systems; behavioral modeling; formal verification; correctness; safety property

Configurable Hardware Implementations of Bulk Encryption Units for Wireless Communications

Paris Kitsos,Odysseas Koufopavlou

#Triple-DES #DES #block cipher #S-Box #cryptography #VLSI implementation