Survey on Formation Verification for Ensembling Collective Adaptive System
The increasing discoveries in the autonomous system had caught researchers attentions. They aimed to find the suitable way to automate the formation of system components in reacting towards the dynamic environments. Among the challenges in designing adaptive systems are to verifying a system’s forma...
Published in: | Lecture Notes on Data Engineering and Communications Technologies |
---|---|
Main Author: | Johari M.H.; Jawaddi S.N.A.; Ismail A. |
Format: | Book chapter |
Language: | English |
Published: |
Springer Science and Business Media Deutschland GmbH
2022
|
Online Access: | https://www.scopus.com/inward/record.uri?eid=2-s2.0-85127725295&doi=10.1007%2f978-981-16-8403-6_19&partnerID=40&md5=d37acbce9b63752f55da00fb621ee216 |
Similar Items
-
A review of microservices autoscaling with formal verification perspective
by: Jawaddi S.N.A.; Johari M.H.; Ismail A.
Published: (2022) -
Learning Face Similarities for Face Verification using Hybrid Convolutional Neural Networks
by: Kamaru Zaman F.H.; Johari J.; Yassin A.I.M.
Published: (2019) -
Software Defect Prediction Using an Intelligent Ensemble-Based Model
by: Ali M.; Mazhar T.; Arif Y.; Al-Otaibi S.; Ghadi Y.Y.; Shahzad T.; Khan M.A.; Hamam H.
Published: (2024) -
Knowledge-Based Methods to Train and Optimize Virtual Screening Ensembles
by: Swift R.V.; Jusoh S.A.; Offutt T.L.; Li E.S.; Amaro R.E.
Published: (2016) -
Baseline energy modelling in an educational building campus for measurement and verification
by: Mustapa R.F.; Dahlan N.Y.; Yassin I.M.; Nordin A.H.M.; Mahadan M.E.
Published: (2017)