Compositional Verification of Self-Adaptive Cyber-Physical Systems
Compositional Verification of Self-Adaptive Cyber-Physical Systems
Autonomous Vehicles for Independent Living of Older Adults – Insights and Directions for a Cross-European Qualitative Study
Bandwidth performance analysis of Mobile VoIP Solutions
Barabanov norms, Lipschitz continuity and monotonicity for the max algebraic joint spectral radius
Barriers to the Access and use of Health Information by Individuals with Intellectual and Developmental Disability IDD: A Review of the Literature
{textquoteleft}Big time’: An examination of temporal complexity and business value in analytics
BigDataNetSim: A Simulator for Data and Process Placement in Large Big Data Platforms
Blockchain Backed DNSSEC
Bounding the l2 sensitivity for positive linear observers
Building smart city partnerships in the {textquotedblleft}Silicon Docks{textquotedblright}