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 ...
Continue reading
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 ...
Continue readingLoad 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 ...
Continue reading
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 ...
Continue reading
Location- and Context-Awareness (vol. # 3479)
Context-awareness is one of the drivers of the ubiquitous computing paradigm. Well-designed context modeling and context ...
Continue reading
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 ...
Continue readingMachine 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 ...
Continue reading
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 ...
Continue reading
Machine Learning for Cyber Physical Systems
This book presents new approaches to Machine Learning for Cyber Physical Systems, experiences and visions. Cyber Physical ...
Continue reading
Machine Learning for Cyber Security
This three volume book set constitutes the proceedings of the Third International Conference on Machine Learning for Cyber ...
Continue reading
Machine Learning for Cyber Security
This three volume book set constitutes the proceedings of the Third International Conference on Machine Learning for Cyber ...
Continue reading
Machine Learning for Cyber Security
This three volume book set constitutes the proceedings of the Third International Conference on Machine Learning for Cyber ...
Continue readingMachine 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, ...
Continue reading
Machine Learning for Multimedia Content Analysis
Challenges in complexity and variability of multimedia data have led to revolutions in machine learning techniques. Multimedia ...
Continue reading
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 ...
Continue readingMachine 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 ...
Continue reading
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 ...
Continue reading
Machines, Computations, and Universality
The 18 revised full papers presented together with nine invited papers cover Turing machines, register machines, word processing, ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
