Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
اقرأ المزيد
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
اقرأ المزيدLoad balancing using SDN / Mohamad Skouti ; Jasim Al-Salama ; Shaden Al-Shabta ; Rama Al-Hussein
Software-Defined Network (SDN) is considered a breakthrough to the global network. It plays an important role in performance ...
اقرأ المزيد
Local Elites, Political Capital and Democratic Development
This book helps to understand in which ways local governing elites are important for the success or failure of national democratic ...
اقرأ المزيد
Location- and Context-Awareness (vol. # 3479)
Context-awareness is one of the drivers of the ubiquitous computing paradigm. Well-designed context modeling and context ...
اقرأ المزيد
Location- and Context-Awareness (vol. # 3987)
nd These proceedings contain the papers presented at the 2 International Workshop on Location- and Context-Awareness in May ...
اقرأ المزيدMachine Learning and Knowledge Extraction : 5th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2021, Virtual Event, August 17–20, 2021, Proceedings
This book constitutes the refereed proceedings of the 5th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain ...
اقرأ المزيد
Machine Learning for Cyber Physical Systems Selected papers from the International Conference ML4CPS 2020
This book proceedings presents new approaches to Machine Learning for Cyber Physical Systems, experiences and visions. It ...
اقرأ المزيد
Machine Learning for Cyber Physical Systems
This book presents new approaches to Machine Learning for Cyber Physical Systems, experiences and visions. Cyber Physical ...
اقرأ المزيد
Machine Learning for Cyber Security
This three volume book set constitutes the proceedings of the Third International Conference on Machine Learning for Cyber ...
اقرأ المزيد
Machine Learning for Cyber Security
This three volume book set constitutes the proceedings of the Third International Conference on Machine Learning for Cyber ...
اقرأ المزيد
Machine Learning for Cyber Security
This three volume book set constitutes the proceedings of the Third International Conference on Machine Learning for Cyber ...
اقرأ المزيدMachine Learning for Data Streams: with Practical Examples in MOA
The book first offers a brief introduction to the topic, covering big data mining, basic methodologies for mining data streams, ...
اقرأ المزيد
Machine Learning for Multimedia Content Analysis
Challenges in complexity and variability of multimedia data have led to revolutions in machine learning techniques. Multimedia ...
اقرأ المزيد
Machine Learning in Document Analysis and Recognition
The objective of Document Analysis and Recognition (DAR) is to recognize the text and graphicalcomponents of a document and ...
اقرأ المزيدMachine Learning, Image Processing, Network Security and Data Sciences
This two-volume set (CCIS 1240-1241) constitutes the refereed proceedings of the Second International Conference on Machine ...
اقرأ المزيد
Machine Learning, Image Processing, Network Security and Data Sciences
This two-volume set (CCIS 1240-1241) constitutes the refereed proceedings of the Second International Conference on Machine ...
اقرأ المزيد
Machines, Computations, and Universality
The 18 revised full papers presented together with nine invited papers cover Turing machines, register machines, word processing, ...
اقرأ المزيد
Making Grids Work : Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, Tools and Environments 12-13 June 2007, Heraklion, Crete, Greece
Making Grids Work includes selected articles from the CoreGRID Workshop on Grid Programming Models, Grid and P2P Systems ...
اقرأ المزيد
Management of Converged Multimedia Networks and Services : 11th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2008, Samos Island, Greece, September 22-26, 2008. Proceedings
This volume presents the proceedings of the 11th IFIP/IEEE International Conference on Management of Multimedia and Mobile ...
اقرأ المزيد
