Across all industries, cloud-based automated control systems have completely changed how operational and environmental parameters are tracked and controlled. With cloud-integrated systems for real-time data collection...
详细信息
In this paper an initial formalization for a novel communication specification language in multi-agent systems (MASs) based on Pi-calculus and holonic MASs is introduced and analyzed. The novel language called Awkward...
详细信息
ISBN:
(纸本)9783031777301;9783031777318
In this paper an initial formalization for a novel communication specification language in multi-agent systems (MASs) based on Pi-calculus and holonic MASs is introduced and analyzed. The novel language called Awkward Pi-nguin (or APi for short) is aimed towards modeling and execution of complex service oriented architectures, heterogeneous cloud systems, containerized microservice architectures and similar complex systems by specifying the communication flows between processed (agents) and organizing them hierarchically into holons. We provide a literature review and initial motivation for introducing a new language as well as give preliminary results of the language development process.
Cloud Computing (CC) offers a diverse range of services along with huge data storage across a network. CC has collaborated with varied emerging technologies like IoT because of its numerous advantages. Despite CC'...
详细信息
The proceedings contain 23 papers. The special focus in this conference is on Advances in Secure Electronic Voting Schemes. The topics include: VOTING 2024 Preface;RLAs for 2-Seat STV Elections: Revisited;efficie...
ISBN:
(纸本)9783031692307
The proceedings contain 23 papers. The special focus in this conference is on Advances in Secure Electronic Voting Schemes. The topics include: VOTING 2024 Preface;RLAs for 2-Seat STV Elections: Revisited;efficient Weighting Schemes for Auditing Instant-Runoff Voting Elections;systematic User Evaluation of a Second Device based Cast-as-Intended Verifiability Approach;On the Applicability of STARKs to Counted-as-Collected Verification in Existing Homomorphic E-Voting systems;"You Shall Not Abstain!" A Formal Study of Forced Participation;transaction Fee Mechanism Design with Active Block Producers;transaction Ordering Auctions;an Analysis of Fixed-Spread Liquidation Lending in DeFi;Structural Advantages for Integrated Builders in MEV-Boost;EIP-4844 Economics and Rollup Strategies;Message-Passing in the Extended UTxO Ledger;zeroAuction: Zero-Deposit Sealed-Bid Auction via Delayed Execution;scam Token Detection based on Static Analysis Before Contract Deployment;A Comparative Gas Cost Analysis of Proxy and Diamond Patterns in EVM Blockchains for Trusted Smart Contract engineering;IZPR: Instant Zero Knowledge Proof of Reserve;a New Approach to Estimating Bitcoin Production Cost;ethereum Proof-of-Stake Consensus Layer: Participation and Decentralization;short Paper: The PoW Landscape in the Aftermath of The Merge;accountable Wallet: A Comprehensive Framework for Proving the Multifaceted Legitimacy of Wallet;Reconstitution of NFTs based on a Game Theory Model;Regulatory Implications of MEV Mitigations;towards Regulation of Brazilian Blockchain Utilization;an Analysis and Proposal on Standardization and R&D Strategies to Promote Responsible Development of Digital Asset.
This paper studies the digital transformation and upgrading algorithms of universities based on artificial intelligence. Through the precise docking of the digital transformation and development of the manufacturing i...
详细信息
Cloud computing provides scalable and adaptable infrastructure however is significantly susceptible to cyber-attacks. This work presents a hybrid methodology that integrates the GOA and GA for feature selection, along...
详细信息
Clinical decision-making and radiology will inevitably be transformed by artificial intelligence (AI) in the coming years. The rapid adoption of AI in this domain, and in other everyday applications, has brought an in...
详细信息
Language identification is a critical area of research within natural language processing (NLP), particularly in multilingual contexts where accurate language detection can enhance the performance of various applicati...
详细信息
In this work, a cavity-backed antenna with increased bandwidth and minimum design complexity for operation at millimeter wave (mmW) frequencies is proposed. Namely, by leveraging our recently proposed frequency pullin...
详细信息
The proceedings contain 38 papers. The special focus in this conference is on Hybrid Intelligent systems. The topics include: Integration of Alexa and Social IoT for Generation X: A Study on the Optimization Use of Sm...
ISBN:
(纸本)9783031838781
The proceedings contain 38 papers. The special focus in this conference is on Hybrid Intelligent systems. The topics include: Integration of Alexa and Social IoT for Generation X: A Study on the Optimization Use of Smart Treadmill to Improve Physical Health;logarithmic Weighted Random Selector Algorithm: A Novel Approach for Biasing Selection based on Positional Order Without Hyperparameters;design and Implementation of a Machine Learning Model for Soccer Match Prediction based on Player Statistics;electric Scooters and Renewable Energy Integration Associated with Tourist Parks: A Dijkstra-based Model for Smart Mobility Optimization;use of Convolutional Neural Networks for the Recognition of Bird Species in Risk Categories in the State of Chihuahua;exploring Deep Learning Applications in Neurodegenerative Diseases: A State-of-the-Art Review;Automated Insights: LLMs in Neurodegenerative Disease Research and Comparison;convolutional Neural Network Models for Classifying of Peach (Prunus persica L);Cleaning Binary Distortion on MNIST Dataset;rule-based Expert System with Bayesian Theory and Fuzzy Inference for Vocational Guidance: A Tool to Prevent School Dropouts;detection of Basic Motorcycle Faults Using a Fuzzy Bayesian Expert System;intervention Model with Data Mining Techniques to Work with Dating Violence Victims Using a Social Support Network;enhanced Pest Detection Using Quaternion-based Image Segmentation in Yellow Sticky Trap Samples for Precision Agriculture;Optimization of a Treatment Plant Through the Incorporation of New Waste Separation Components: A TOPSIS-Focused Multi-criteria Analysis Approach;multicriteria Analysis Applied to the Selection of Shopping Centers for a Family-Owned Restaurant Business in Smart Cities: A Case Study in Ciudad Juárez.
暂无评论