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) -
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) -
Strategic planning of an integrated smart card fare collection system: Challenges and solutions
by: Yahya S.; Noor N.M.
Published: (2008) -
Development of mobile face verification based on locally normalized gabor wavelets
by: Zaman F.H.K.; Sulaiman A.A.; Yassin I.M.; Tahir N.M.; Rizman Z.I.
Published: (2017)