the proceedings contain 108 papers. the topics discussed include: water in the cloud: understanding water chemistry via the Internet of things;a configurable distributed data analytics infrastructure for the industria...
ISBN:
(纸本)9781728105703
the proceedings contain 108 papers. the topics discussed include: water in the cloud: understanding water chemistry via the Internet of things;a configurable distributed data analytics infrastructure for the industrial Internet of things;a hybridization of mobile crowdsensing, twitter analytics, and sensor data for the holistic approach of pollen onsets detection;collaborative agent-based detection of DDoS IoT botnets;security and privacy in the Internet of things using blockchain technology;utilizing mobile nodes for congestion control in wireless sensor networks;middleware for real-time event detection and predictive analytics in smart manufacturing;and a network architecture for high volume data collection in agricultural applications.
the proceedings contain 117 papers. the topics discussed include: detection of a novel dual attack in named data networking;fair DMA scheduler for low-latency accelerator offloading;multi-attribute decision-making met...
ISBN:
(纸本)9781665464970
the proceedings contain 117 papers. the topics discussed include: detection of a novel dual attack in named data networking;fair DMA scheduler for low-latency accelerator offloading;multi-attribute decision-making method based on interval intuitionistic trapezoidal fuzzy number to determine the expert weight: note: sub-titles are not captured in Xplore and should not be used;binary-level directed symbolic execution through pattern learning;an efficient metric-based approach for static use-after-free detection;a graph convolution neural network based method for insider threat detection;maintenance worker scheduling for charging pile fault: a multi-agent RL approach;towards secure bilateral friend query with conjunctive policy matching in social networks;structure-noise-aware anchor link prediction across social networks;file system to support secure cloud-based sharing;discovering agent models using process mining: initial approach and a case study;and towards agent-based simulation of the parallel trading market of pharmaceuticals.
the proceedings contain 13 papers. the special focus in this conference is on Formal Techniques for distributed Objects, Components, and systems. the topics include: Conformance-based doping detection for cyber-physic...
ISBN:
(纸本)9783030500856
the proceedings contain 13 papers. the special focus in this conference is on Formal Techniques for distributed Objects, Components, and systems. the topics include: Conformance-based doping detection for cyber-physical systems;on implementable timed automata;deep statistical model checking;trace equivalence and epistemic logic to express security properties;derivation of heard-of predicates from elementary behavioral patterns;probabilistic timed automata with one clock and initialised clock-dependent probabilities;foreword;preface;strategy synthesis for autonomous driving in a moving block railway system with uppaal stratego;a formal framework for consent management;tutorial: Parameterized verification with byzantine model checker;typechecking java protocols with [st]mungo.
the proceedings contain 12 papers. the special focus in this conference is on distributed Applications and Interoperable systems. the topics include: DroidAutoML: A Microservice Architecture to Automate the Evaluation...
ISBN:
(纸本)9783030503222
the proceedings contain 12 papers. the special focus in this conference is on distributed Applications and Interoperable systems. the topics include: DroidAutoML: A Microservice Architecture to Automate the Evaluation of Android Machine Learning Detection systems;a Resource Usage Efficient distributed Allocation Algorithm for 5G Service Function Chains;a Self-stabilizing One-To-Many Node Disjoint Paths Routing Algorithm in Star Networks;capturing Privacy-Preserving User Contexts with IndoorHash;towards Hypervisor Support for Enhancing the Performance of Virtual Machine Introspection;Fed-DIC: Diagonally Interleaved Coding in a Federated Cloud Environment;tailX: Scheduling Heterogeneous Multiget Queries to Improve Tail Latencies in Key-Value Stores;building a Polyglot Data Access Layer for a Low-Code Application Development Platform: (Experience Report);A Comparison of Message Exchange Patterns in BFT Protocols: (Experience Report);kollaps/thunderstorm: Reproducible Evaluation of distributedsystems: Tutorial Paper;Self-tunable DBMS Replication with Reinforcement Learning.
the proceedings contain 25 papers. the topics discussed include: hierarchical caching for digital twins communications over mURLLC-based 6G distributed-computing mobile networks using FBC;assessing spillover dynamics:...
ISBN:
(纸本)9798350354713
the proceedings contain 25 papers. the topics discussed include: hierarchical caching for digital twins communications over mURLLC-based 6G distributed-computing mobile networks using FBC;assessing spillover dynamics: a diagonal BEKK GARCH analysis of interactions among the crypto market and systemically significant industries with a historical nexus to financial crises;Saila: human interface device (HID) injection protection with smart phone based passwordless security;profit maximization in arbitrage loops;a framework for dynamic dependency-based service placement in the cloud-edge continuum;towards a lightweight distributed telemetry for microservices;data fabric for industrial metaverse;KiNETGAN: enabling distributed network intrusion detection through knowledge-infused synthetic data generation;PECMQ: private and encrypted communications in IoT systems using PUFs and MQTT;SynthEcho watermarking for secure and robust image-to-image generation;and explainable reinforcement learning for network management via surrogate model.
the proceedings contain 151 papers. the topics discussed include: reducing first-frame delay of live streaming by simultaneously initializing window and rate;privacy-preserving finger movement tracking using acoustic ...
ISBN:
(纸本)9798350386059
the proceedings contain 151 papers. the topics discussed include: reducing first-frame delay of live streaming by simultaneously initializing window and rate;privacy-preserving finger movement tracking using acoustic sensing enhanced by smartphone case mini-structures;a performance analysis modeling framework for extended reality applications in edge-assisted wireless networks;LinuxFP: transparently accelerating Linux networking;edge-assisted relevance-aware perception dissemination in vehicular networks;CoCFL: a lightweight blockchain-based federated learning framework in IoT context;Hammer: a general blockchain evaluation framework;DNN partitioning and assignment for distributed inference in SGX empowered edge cloud;and towards integrated energy-communication-transportation hub: a base-station-centric design in 5G and beyond.
the proceedings contain 112 papers. the topics discussed include: federated learning assisted model for android malware detection using gannet optimization algorithm;a deep q-learning framework for enhanced QoE and en...
ISBN:
(纸本)9798350369441
the proceedings contain 112 papers. the topics discussed include: federated learning assisted model for android malware detection using gannet optimization algorithm;a deep q-learning framework for enhanced QoE and energy optimization in fog computing;traffic data augmentation using GANs for ITS;EdgeBoost: confidence boosting for resource constrained inference via selective offloading;FedLSF: federated local graph learning via specformers;an efficient approach for merging multidimensional blockchains in mobile IoT;predicting solar-harvested energy for resource-constrained IoT devices using machine learning;tremor detection in Parkinson’s disease from wearable data: a comparative study of centralized learning versus federated learning;DNA-inspired image encryption: leveraging chaos for enhanced security;and obscured wildfire flame detection by spatio-temporal analysis of smoke patterns using frame-wise transformers.
the proceedings contain 5 papers. the special focus in this conference is on distributed Applications and Interoperable System. the topics include: Synql: A CRDT-Based Approach for Replicated Relational Databases...
ISBN:
(纸本)9783031626371
the proceedings contain 5 papers. the special focus in this conference is on distributed Applications and Interoperable System. the topics include: Synql: A CRDT-Based Approach for Replicated Relational Databases with Integrity Constraints;encryption as a Service: A Review of Architectures and Taxonomies;compact Storage of Data Streams in Mobile Devices;mining Profitability in Bitcoin: Calculations of User-Miner Equilibria and Cost of Mining.
the proceedings contain 79 papers. the topics discussed include: plant health app: a tool for plant enthusiasts;supercapacitor based STATCOM for enhancing power quality in grid-connected photovoltaic systems;dynamic a...
ISBN:
(纸本)9798350350593
the proceedings contain 79 papers. the topics discussed include: plant health app: a tool for plant enthusiasts;supercapacitor based STATCOM for enhancing power quality in grid-connected photovoltaic systems;dynamic and static wireless charging of EVs using solar energy;development of CheXNet-based web application to detect pneumonia using chest x-ray images;machine learning and deep learning for knee osteoarthritis diagnosis: a survey on classification and severity grading;gesture-enhanced presentation control for education;dynamic surveillance : integration of VGG and ResNET;smart garbage sorting system: integrating robotic arm and machine learning for segregation;NURTURHUB: a smart maternal health monitoring device for postpartum depression;and implementation of digital FIR filter using optimized hybrid arithmetic unit.
the proceedings contain 13 papers. the special focus in this conference is on Formal Techniques for distributed Objects, Components, and systems. the topics include: Weak Simplicial Bisimilarity for Polyhedral Mo...
ISBN:
(纸本)9783031626449
the proceedings contain 13 papers. the special focus in this conference is on Formal Techniques for distributed Objects, Components, and systems. the topics include: Weak Simplicial Bisimilarity for Polyhedral Models and SLCSη;noninterference Analysis of Reversible Probabilistic systems;justAct: Actions Universally Justified by Partial Dynamic Policies;synthesis for Prefix First-Order Logic on Data Words;MAGπ!: the Role of Replication in Typing Failure-Prone Communication;leaf-First Zipper Semantics;synthesizing Timed Automata with Minimal Numbers of Clocks from Optimised Timed Scenarios;Formally Verifying a Rollback-Prevention Protocol for TEEs;network Simulator-Centric Compositional Testing;adaptable Configuration of Decentralized Monitors;auDaLa is Turing Complete;guess and then Check: Controller Synthesis for Safe and Secure Cyber-Physical systems.
暂无评论