Computer networking and communications Books

Book SynopsisThis open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.Table of ContentsGame Theory.- A Game for Linear-time - Branching-time Spectroscopy.- On Satisficing in Quantitative Games.- Quasipolynomial Computation of Nested Fixpoints.- SMT Verification.- A Flexible Proof Format for SAT Solver-Elaborator Communication.- Generating Extended Resolution Proofs with a BDD-Based SAT Solver.- Bounded Model Checking for Hyperproperties.- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays.- SAT Solving with GPU Accelerated Inprocessing.- FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions.- Probabilities.- Finding Provably Optimal Markov Chains.- Inductive Synthesis for Probabilistic Programs Reaches New Horizons.- Analysis of Markov Jump Processes under Terminal Constraints.- Multi-objective Optimization of Long-run Average and Total Rewards.- Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes.- Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-Dependent Flaky Tests.- Timed Systems.- Timed Automata Relaxation for Reachability.- Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata.- Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring.- Neural Networks.- Synthesizing Context-free Grammars from Recurrent Neural Networks.- Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models.- Improving Neural Network Verification through Spurious Region Guided Refinement.- Analysis of Network Communication Resilient Capacity-Aware Routing.- Network Traffic Classification by Program Synthesis.

Read more less

Book SynopsisThis book constitutes the conference proceedings of the 10th International Conference on Network Games, Control and Optimization, NETGCOOP 2020, held in Cargèse, Corsica, France, in September 2021*.The 12 full papers and 16 short papers were carefully reviewed and selected from 44 submissions. The papers are organized in the following topical sections: ​game theory and iterative algorithms applied to wireless communication; stochastic models for network performance analysis; game theory in mobile and wireless networks; scheduling and resource allocation problems in networks; advance in game theory; social network; electrical network.* The conference was postponed to 2021 due to the COVID-19 pandemic.Table of ContentsGame theory and iterative algorithms applied to wireless communication.- Stochastic models for network performance analysis.- Game theory in Mobile and Wireless Networks.- Scheduling and resource allocation problems in networks.- Advance in game theory.- Social network.- Electrical network.

Read more less

Book SynopsisThis book constitutes the refereed post-conference proceedings of the 7th EAI International Conference on Smart Objects and Technologies for social Good, GOODTECHS 2021, held in September 2021. Due to COVID-19 pandemic the conference was held virtually. The 24 full papers presented were selected from 53 submissions and issue design, implementation, deployment, operation, and evaluation of smart objects and technologies for social good. Social goods are products and services provided through private enterprises, government, or non-profit institutions and are related to healthcare, safety, sports, environment, democracy, computer science, and human rights. The papers are arranged in tracks on machine learning; IoT; social considerations of technology; technology and ageing; healthcare.Table of ContentsLearning.- Balancing activity recognition and privacy preservation with a multi-objective evolutionary algorithm.- Biometric data capture as a way to identify lack f physical activity in daily life.- Comparative Analysis of Process Mining Algorithms in Python.- COVID-19 Next Day Trend ForecastAnomaly Detection in Cellular IoT with Machine Learning.- Internet of Things.- A Smart IoT System for Water Monitoring and Analysis.- Decentralising the Internet of Medical Things with Distributed Ledger Technologies and Off-Chain Storages: a Proof of Concept.- Towards a Monitoring Framework for Users of Retirement Houses with Mobile Sensing.- Temporal authorization graphs: Pros, Cons and Limits.- Advanced 5G Network Slicing Isolation Using Enhanced VPN+ for Healthcare Verticals.- Social considerations of technology.- GuideSwarm: A Drone Network Design to Assist Visually-impaired People.- LISA - Lingua Italiana dei Segni Accessibile: A Progressive Web App to Support Communication Between Deaf People and Public Administrations.- Building emotionally stable, inclusive, and healthy communities with ICT: from state of the art to PSsmile app.- issue design, implementation, deployment, operation, and evaluation of smart objects and technologies for social good. Social goods are products and services provided through private enterprises, government, or non-profit institutions and are related to healthcare, safety, sports, environment, democracy, computer science, and human rights. The papers are arranged in tracks on machine learning; IoT; social considerations of technology; technology and ageing; healthcare.- Machine Management Technology for Institutional Environment in Pandemic Times.- Technology and ageing.- Augmented Reality, Vrtual Reality and Mixed Reality as driver tools for promoting cognitive activity and avoid isolation in ageing population.- Ageing@home: A secure 5G welfare technology solution for elderlies.- Defining the instruments for zero-measurement of psychological well-being at older adults.- DERCA Tool: A set of Tests for Analysis of Elderly Dexterity in Information and Communications Technologies.- Building Inclusive Environments for All Ages with Citizens.- Healthcare.- The New Era of Technology applied to Cardiovascular Patients: State-of-the-art and Questionnaire applied for a System Proposal.- Co-design and engineering of user requirements for a novel ICT healthcare solution in Murcia, Spain.- What do nurses and carers in Portual wish and need from a digital intelligent assistant for nursing applications.- Examining Furniture Preferences of The Elderly in Greece.

Read more less

Book SynopsisChapter 1 IoT for Education.- Chapter 2 IoT for Smart Learning Environment.- Chapter 3 IoT-Based Smart Classroom.- Chapter 4 IoT-based Educational Software and Hardware Systems.- Chapter 5 IoT and Network Infrastructure for Smart Education.- Chapter 6 Intelligent IoT-based tutoring systems, including AR, VR.- Chapter 7Online Laboratories Using IoT.- Chapter 8 Technology-based learning experiences with IoT in Education.- Chapter 9 Remote Experiments and Assessments Using IoT.- Chapter 10 IoT-enabled Gamification for Education.- Chapter 11 Secure IoT-based Classroom.- Chapter 12 Critical Thinking Using IoT for Learning.- Chapter 13 Ethics on the Use of IoT in Education.

Read more less

Book SynopsisPart I Foundations and Frontiers of IoT Security.- Chapter 1 Introduction to IoT and IoT Security.- Chapter 2 An In-Depth Exploration of Attack Modeling and Vulnerability Analysis in IoT Networks.- Chapter 3 Advanced Intrusion Detection Techniques and Trends in IoT Networks.- Chapter 4 Malware in the Connected World: Advanced Detection Techniques Using System Calls and Graph Analysis.- Chapter 5 Fraud Detection in IoT Networks.- Chapter 6 Secure Communication Protocols: Safeguarding Information in The Digital Age.- Chapter 7 Advancing Connectivity and Security in SDN-IoT Networks Through Policy Management.- Chapter 8 Securing Tomorrow's Connectivity: Tailoring Robust Defenses for 5G-Powered IoT Innovations.- Part II Advances in Internet of Drones (IoD) Security.- Chapter 9 Towards Resilient Internet of Drones: A Systematic Survey on Authentication and GPS Spoofing Countermeasures.- Chapter 10 Navigating the Skies: Exploring Dynamic Access Control in The Internet of Drones.- Chapter 11 From Ground to Cloud: Integrated Multi-Attack Detection in IoT-Driven UAV Security Frameworks.- Chapter 12 Tactical Trust: A Comprehensive Exploration of Trust Management in the Internet of Drones.- Chapter 13 Smart Surveillance in Physical Security Systems and Ethical Frameworks in IoD.

Read more less

Book Synopsis.- Gesture Controlled Virtual Mouse..- Diabetic retinopathy detection through deep learning using fundus images..- Enhancing energy efficiency in smart cities through neural support vector machine learning for smart grids..- A Novel Intelligent Traffic Control System for Identifying Traffic Congestion and Emergency Vehicle Detection in Malaysia..- Leveraging random forest for intelligent IoT systems in industrial environments..- Enhancing Process Efficiency of Welding Through Mathematical Modeling And SVM-Based Parameter Optimization..- LBFOG: Load Balancing among Edge Nodes in the Fog Computing Framework..- A Distinctive Modified Dingo Power Tracking with Single-Switch Ultra-High Converter for PV Smart Grids..- Utilizing Cutting-Edge Deep Learning Techniques to Predictive Model and Segment Customers to Optimize Marketing ROI..- Fault Detection Using YOLOv7 on RGB Images of Solar Panels with Various Data Augmentation Techniques and An Enhanced Early Stopper..- Machine Learning-Aided Aerial Surveillance: Enhancing Trespasser Detection using UAVs.

Read more less

Book Synopsis1.Privatization And Human Resource Management: Unraveling The Impact On Organizations And Employees.- 2.Leadership In A Time Of Crisis: How International Business Leaders Sustained Competitiveness In Global Talent Management.- 3.Ai At The Service Of Middle Managers - The Case Of Developing Countries.- 4.Business Sustainability, Sustainable Planning, Operational Efficiency, And The Role Of Emerging Technologies.- 5.Evaluating The Impact Of Circular Economy Principles On Sustainable Technology Adoption In Smes.- 91.The Impact Of The Use Of Artificial Intelligence On The Quality Of Decision-Making In Healthcare Institutions.- 92.Gl?bal?sat??n Trends ?n The Susta?nable Devel?pment ?f Urban Aggl?merat??ns.- 93.Ecological Logistics In The Processes Of Restoration Of Cattle Breeding In The Deoccupied Territories Of Ukraine.

Read more less

Book Synopsis

Read more less

Book Synopsis

Read more less

Book SynopsisDefining the scope of the IT landscape in supporting the business. Implementing controls based on ITIL and ISO 20000. Governance mechanisms, assets, configuration, and change management. Administering devices, appliances, and storage systems.

Read more less

Book SynopsisChapter 1. Introduction.- Chapter 2. Overview of Co-Governed Multi-Identifier Network.- Chapter 3. Identifier and Identifier Semantics.- Chapter 4. Co-Governed Multi-Identifier Management Technology.- Chapter 5. Addressing and Routing.- Chapter 6. Multi-Identifier Router.- Chapter 7. Data Synchronization.- Chapter 8. Cache Management and Access Control.- Chapter 9. Transport Protocol.- Chapter 10. Network Control Message Protocol.- Chapter 11. Network Security.- Chapter 12. Network Evolvable Scheme.- Chapter 13. Secure Private Network Based on CoG-MIN.- Chapter 14. MIN-Web.- Chapter 15. Application Scenarios of CoG-MIN.

Read more less

Book SynopsisIntroduction.- IoT and Wireless Sensor Networks (WSNs).- Wireless Sensor Networks Empowered by SDN: Reliable and Resilient Communication.- Securing Sensor Routes: Trustworthy and Load-Balanced Strategies.- Navigating the Energy Spectrum: Probabilistic Cluster Routing for Efficiency.- Revolutionizing IoT Sensor Charging: The ISAC-Probabilistic Paradigm.- Summary and Future Perspective.

Read more less