The proceedings contain 186 papers. The topics discussed include: blockchain-based decentralized digital forensics case management system using IPFS;design and implementation of public distribution system using blockc...
ISBN:
(纸本)9798350354348
The proceedings contain 186 papers. The topics discussed include: blockchain-based decentralized digital forensics case management system using IPFS;design and implementation of public distribution system using blockchain;blockchain solutions for nursing: a new paradigm in healthcare security and data management;unlocking the potential of blockchain integration in secured framework of mental health;detection of fake physical certificates using a blockchain-based certificate verification and issuer validation system;a collaborative health care system: a pilot based on blockchain;blockchain based goods authentication system;blockchain based digital multimedia content authentication system: using IPFS and Ethereum;and decentralized applications for agricultural supply chain: exploring the potential on the Ethereum blockchain using smart contracts.
The proceedings contain 60 papers. The topics discussed include: an effective method for distributing workloads in smart city using sensor networks enabled by fog;load balancing issues and challenges in cloud environm...
ISBN:
(纸本)9798331522988
The proceedings contain 60 papers. The topics discussed include: an effective method for distributing workloads in smart city using sensor networks enabled by fog;load balancing issues and challenges in cloud environment;real-time driver alertness monitoring with optimized deep learning and Haar-cascade methods;a near optimal patient scheduling for effective doctor appointment system;enhancing vehicular communication systems: predicting signal-to-noise ratio using machine learning models;EEG-based emotion detection: a machine learning approach with multiple classifiers;performance metrics and accuracy assessment of machine learning models for crop recommendation;effective identification of glaucoma using fusion deep learning approaches;and real-time eye state detection using deep learning for blink and dry eye diagnosis using smart phone.
The proceedings contain 46 papers. The topics discussed include: optimizing feature selection in big data: a hybrid spark and fuzzy approach;deadline constrained least laxity time based cloudlet scheduling;enhancing M...
ISBN:
(纸本)9798331517892
The proceedings contain 46 papers. The topics discussed include: optimizing feature selection in big data: a hybrid spark and fuzzy approach;deadline constrained least laxity time based cloudlet scheduling;enhancing MPI communication efficiency for grid-based stencil computations;robust error resilience network-on-chip router architecture;Devanagari character recognition using statistical and transform based features;an analysis on transliterated Dravidian text;harnessing machine learning to illuminate and anticipate determinants of academic excellence in student;malicious pe file detection using machine learning: an analysis of header features;face detection with liveness net;and optimized ensemble deep learning for automated crop area mapping using satellite imagery
The proceedings contain 299 papers. The topics discussed include: research on lightning fault analysis and lightning protection application of 500 kV transmission line;algorithm-based optimization of YOLOv5s model for...
ISBN:
(纸本)9798350374315
The proceedings contain 299 papers. The topics discussed include: research on lightning fault analysis and lightning protection application of 500 kV transmission line;algorithm-based optimization of YOLOv5s model for robot trajectory detection study;boosting the feature extraction power of convolutional networks via mixed-weighting;deep learning based optimization of UAV orbital paths;fault prediction for distribution transformers based on stacking;electric field distribution and optimization design of XLPE cable joints under typical defect;research on auxiliary terminal system of power communication operation and maintenance based on augmented reality technology;an improved path planning algorithm for ship track planning based on grey wolf algorithm;and optimizing motion capture data in animation sequences using machine learning techniques.
The proceedings contain 19 papers. The topics discussed include: learning stigmergic communication for self-organizing coordination;radii of emergent patterns in swarmalator systems;towards the decentralized coordinat...
ISBN:
(纸本)9798350337440
The proceedings contain 19 papers. The topics discussed include: learning stigmergic communication for self-organizing coordination;radii of emergent patterns in swarmalator systems;towards the decentralized coordination of multiple self-adaptive systems;a framework for autonomic computing for in situ imageomics;online ML self-adaptation in face of traps;evolving processing pipelines for industrial imaging with cartesian genetic programming;field-informed reinforcement learning of collective tasks with graph neural networks;energy efficient scheduling for serverless systems;and Prolego: time-series analysis for predicting failures in complex systems.
The proceedings contain 405 papers. The topics discussed include: ISAA: boost repair process by constructing the degree constrained optimal repair tree for erasure-coded systems;FedLRS: a communication-efficient feder...
ISBN:
(纸本)9798350330717
The proceedings contain 405 papers. The topics discussed include: ISAA: boost repair process by constructing the degree constrained optimal repair tree for erasure-coded systems;FedLRS: a communication-efficient federated learning framework with low-rank and sparse decomposition;dBFC: destination-based backpressure flow control for incast;learning dynamic spatial graphs and spatial patterns for accurate traffic prediction;transparent file deduplication with reduced update cost on encryption enabled mobile devices;cost guarantee for individual fairness on spectral clustering;identifying performance bottleneck in shared in-network aggregation during distributed training;Slim-MY: a lightweight network for power line defect detection with FPGA acceleration;RAMMM: a rapid attention-based multimodal modification model for massive image generation;and exploiting fine-grained structured pruning for efficient inference on CNN model.
The proceedings contain 115 papers. The topics discussed include: detecting targeted interference in NB-IoT;fabric composition classification using hyper-spectral imaging;data market places: best practices, challenges...
ISBN:
(纸本)9798350346497
The proceedings contain 115 papers. The topics discussed include: detecting targeted interference in NB-IoT;fabric composition classification using hyper-spectral imaging;data market places: best practices, challenges, and advancements for embedded finance;exploring the impact of locations and activities in person-wise data mismatch in CSI-based HAR;A fault-tolerant distributed air-to-ground communication architecture for urban air mobility;EDICT: simulation of edge interactions across IoT-enhanced environments;insights from executing TinyML models on smartphones and microcontrollers;Acconotate: exploiting acoustic changes for automatic annotation of inertial data at the source;and autonomous driving through deep learning in video games: a visual-based perception and action approach.
The proceedings contain 13 papers. The special focus in this conference is on Formal Techniques for distributed Objects, Components, and systems. The topics include: With a Little Help from Your Friends: Sem...
ISBN:
(纸本)9783031353543
The proceedings contain 13 papers. The special focus in this conference is on Formal Techniques for distributed Objects, Components, and systems. The topics include: With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves;efficient Dynamic Model Based Testing: Using Greedy Test Case Selection;minimal Generating Sets for Semiflows;relating Reversible Petri Nets and Reversible Event Structures, Categorically;towards an Automatic Proof of the Bakery Algorithm;certified Compilation of Choreographies with hacc;Implementing a CTL Model Checker with μG, a Language for Programming Graph Neural Networks;branching Bisimulation Semantics Enables Noninterference Analysis of Reversible systems;impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case Study;operations on Timed Scenarios;on the Use of Model and Logical Embeddings for Model Checking of Probabilistic systems;On Bisimilarity for Polyhedral Models and SLCS.
The proceedings contain 39 papers. The topics discussed include: RQ coloring and the subtle art of mitigating interrupt-generated interference;LAG-based analysis for preemptive global scheduling with dynamic cache all...
ISBN:
(纸本)9798350337860
The proceedings contain 39 papers. The topics discussed include: RQ coloring and the subtle art of mitigating interrupt-generated interference;LAG-based analysis for preemptive global scheduling with dynamic cache allocation;ILP based mapping for elastic CGRAs;shared dictionary compression for efficient mobile software distribution;timing-aware ROS 2 architecture and system optimization;analyzing digital services across the compute continuum using iFogSim;PELSI: power-efficient layer-switched inference;efficient response time bound for typed DAG tasks;machine learning techniques for understanding and predicting memory interference in CPU-GPU embedded systems;and dynamic deterministic quality of service model with behavior-adaptive latency bounds.
This special issue includes a selection of the artefacts presented at the 18th international Federated conference on distributedcomputing Techniques (DiScoTec 2023), held at the NOVA University Lisbon (Lisbon, Portug...
详细信息
This special issue includes a selection of the artefacts presented at the 18th international Federated conference on distributedcomputing Techniques (DiScoTec 2023), held at the NOVA University Lisbon (Lisbon, Portugal), in June 18-23, 2023. The federated conference included: COORDINATION 2023, the 25th internationalconference on Coordination Models and Languages);DAIS 2023, the 23rd internationalconference on distributed Applications and Interoperable systems;and FORTE 2023, the 43rd internationalconference on Formal Techniques for distributed Objects, Components, and systems. All the three conferences welcomed submissions describing technological artefacts, including innovative prototypes supporting the modelling, development, analysis, simulation, or testing of systems in the broad spectrum of distributedcomputing subjects. The artefact evaluation chairs have selected a subset of high- quality accepted artefacts to be invited for submission to this special issue. Following the revision process, nine artefacts have been accepted to be part of this special issue. The published contributions include different types of artefacts, including programming libraries, frameworks, as well as tools for the analysis, verification, and simulation of distributedsystems.
暂无评论