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