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 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 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 42 papers. the special focus in this conference is on distributedcomputing and Artificial Intelligence. the topics include: Rassel: Robot assistant for the elderly;domestic violence prevention...
ISBN:
(纸本)9783030005238
the proceedings contain 42 papers. the special focus in this conference is on distributedcomputing and Artificial Intelligence. the topics include: Rassel: Robot assistant for the elderly;domestic violence prevention system;LOWG – intelligent monitorization system with custom alerts to avoid the home basics services related risk;design thinking for social challenges;SiloMAS: A MAS for smart silos to optimize food and water consumption on livestock holdings;intelligent livestock feeding system by means of silos with IoT technology.
the proceedings contain 24 papers. the special focus in this conference is on Coordination Models and Languages. the topics include: Choreography automata;a choreography-driven approach to apis: the opendxl case study...
ISBN:
(纸本)9783030500283
the proceedings contain 24 papers. the special focus in this conference is on Coordination Models and Languages. the topics include: Choreography automata;a choreography-driven approach to apis: the opendxl case study;implementing multiparty session types in rust;gopi: compiling linear and static channels in go;foreword;preface;chorevolution: hands-on in-service training for choreography-based systems;sfj: an implementation of semantic featherweight java;event-based customization of multi-tenant saas using microservices;quality of service ranking by quantifying partial compliance of requirements;time-fluid field-based coordination;resilient distributed collection through information speed thresholds;refined mean field analysis: the gossip shuffle protocol revisited;a true concurrent model of smart contracts executions;renegotiation and recursion in bitcoin contracts;architecture modelling of parametric component-based systems;weighted pcl over product valuation monoids;choreographic development of message-passing applications: a tutorial;operational representation of dependencies in context-dependent event structures;towards a formally verified evm in production environment;on implementing symbolic controllability;combining sliver with cadp to analyze multi-agent systems;formal modeling and analysis of medical systems.
the proceedings contain 57 papers. the topics discussed include: on the basin of attraction and capacity of restricted Hopfield network as an auto-associative memory;a type of recharging scheduling strategy based on a...
ISBN:
(纸本)9798350308693
the proceedings contain 57 papers. the topics discussed include: on the basin of attraction and capacity of restricted Hopfield network as an auto-associative memory;a type of recharging scheduling strategy based on adjustable request threshold in WRSNs;classification and identification of phishing websites based on machine learning;patch-based multi-level attention mechanism for few-shot multi-label medical image classification;exploring event-based dynamic topic modeling;improvement of passkey entry protocol for secure simple pairing;application of Voformer-EC clustering algorithm to stock multivariate time series data;and multimodal deep learning for enhanced arrhythmia detection using ECG time series and image data.
the proceedings contain 15 papers. the special focus in this conference is on Coordination Models and Language. the topics include: JoT: A Jolie Framework for Testing Microservices;rollback Recovery in Sessi...
ISBN:
(纸本)9783031353604
the proceedings contain 15 papers. the special focus in this conference is on Coordination Models and Language. the topics include: JoT: A Jolie Framework for Testing Microservices;rollback Recovery in Session-Based Programming;safe Asynchronous Mixed-Choice for Timed Interactions;A Formal MDE Framework for Inter-DSL Collaboration;legal Contracts Amending with;toward Run-time Coordination of Reconfiguration Requests in Cloud computingsystems;macroSwarm: A Field-Based Compositional Framework for Swarm Programming;ScaRLib: A Framework for Cooperative Many Agent Deep Reinforcement Learning in Scala;programming distributed Collective Processes for Dynamic Ensembles and Collective Tasks;shelley: A Framework for Model Checking Call Ordering on Hierarchical systems;stark: A Software Tool for the Analysis of Robustness in the unKnown Environment;RSC to the ReSCu: Automated Verification of systems of Communicating Automata;reasoning About Choreographic Programs;caos: A Reusable Scala Web Animator of Operational Semantics.
the proceedings contain 97 papers. the special focus in this conference is on Application of Fuzzy systems, Soft computing and Artificial Intelligence Tools. the topics include: Experimental Selecting Appropriate Fuzz...
ISBN:
(纸本)9783031252518
the proceedings contain 97 papers. the special focus in this conference is on Application of Fuzzy systems, Soft computing and Artificial Intelligence Tools. the topics include: Experimental Selecting Appropriate Fuzzy Implication in Traffic IF-then Rules;prediction of Cold Filter Plugging Point of Different Types of Biodiesels Using Various Empirical Models;comparison of Fuzzy Solution Approaches for a Bilevel Linear Programming Problem;decision Making on Students’ Performance Estimation;A Comparative Analysis of the Different CNN Models Using Fuzzy PROMEthEE for Classification of Kidney Stone;developing Efficient Frontier for Investment Portfolio: A Fuzzy Model Approach;impact of Online Education Classes on Students’ Satisfaction: the Case of Near East University;decision Making on Selection of Ferritic Stainless Steel;multicriteria Group Decision Making on Information System Project Selection Using Type-2 Fuzzy Set;forecasting Demand in the Commodity Market of Food Products Using Neural Networks;Introducing Uncertainty-Based Dynamics in MADM Environments;analyzing the Digital Marketing Strategies Role in Post Pandemic Recovery Period;artificial Intelligence and Digital Economy: Development Prospects;evaluation of Logistics Services of Airlines in the Azerbaijan Passenger Transportation Market;customer Characteristics in Digital Marketing Model;estimation of Countries’ Economic Development by Using Z-Number theory;fuzzy Approach to Explainable Artificial Intelligence;z-Numbers Based Evaluation of Expert Opinions on Agricultural Structure;Pareto-Optimality-Based Investigation of Quality of Fuzzy IF-thEN Rules;the Ideas of L. Zadeh and R. Aliev in the 3rd Generation of Artificial Intelligence;Predicting Solar Power Generated by Grid-Connected Two-Axis PV systems Using Various Empirical Models;z-Preferences in Consumer Buying Behavior.
暂无评论