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 a60;Little Help from60;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 40 papers. the special focus in this conference is on Blockchain and Applications. the topics include: Leveraging Hyperledger Fabric for Criminal Evidence Integrity-Proofs;a Smart Contract-Base...
ISBN:
(纸本)9783031819278
the proceedings contain 40 papers. the special focus in this conference is on Blockchain and Applications. the topics include: Leveraging Hyperledger Fabric for Criminal Evidence Integrity-Proofs;a Smart Contract-Based Peer-to-Peer Energy Trading System;trustworthy Supply Chain Logging withdistributed Ledgers;assigning Monetary Value to Data for Optimizing Decentralized Storage;Scalability Assessment of EVM-Compatible Blockchains for E-Voting;education Credentials’ Tokenisation – A Use Case;Exploring User Acceptance of Blockchain-Based Student Certificate Sharing System: A Study on Non-Fungible Token (NFT) Utilization;deanonymization of Hidden Services Categorized on the Tor Darknet;blockchain-Assisted Device as a Service (DaaS);Decentralized Autonomous Organizations (DAOs) Adoption for Smart City Governance;design Science Approach for a New Business Model Canvas with Blockchain;Extending Trusted DApp Modeling for Decentralized Autonomous Organization Development;Evaluating Blockchain Consensus Mechanisms: A Comprehensive three-Tiered Approach with Application to IOTA 2.0;development and Evaluation of a Framework for the Design and Management of Blockchain-Based Process Chains in a Circular Economy;development of a New Model to Adopt Blockchain in Public Administration: A Case Study in Colombia;inheritance of Digital Assets Using Blockchain;a True Random Number Generator for Blockchain Wallets Based on Quantum Computation;tokenisation Outcomes Framework for the Public Sector – Is Blockchain Optimal for My Process?;risks and Challenges Associated withthe Chain of Custody of Cryptographic Assets in Law Enforcement Operations;integrating distributed Ledger Technologies Into Data Spaces: An Architectural Pattern;MetaDAG: Bridging Sustainable Supply Chains from BlockDAG to the Metaverse through Agent-Based Modeling;jabberWok: Blockchain Enabled Decentralized Crowdsourced Data Platform;About Decentralized Insurance. A Blockchain Based Approach with Integrated AI;Blockch
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 15 papers. the special focus in this conference is on Formal Techniques for distributed Objects, Components, and systems.the topics include: Preface;on Bidirectional Runtime Enforcement;superv...
ISBN:
(纸本)9783030780883
the proceedings contain 15 papers. the special focus in this conference is on Formal Techniques for distributed Objects, Components, and systems.the topics include: Preface;on Bidirectional Runtime Enforcement;supervisory Synthesis of Configurable Behavioural Contracts with Modalities;off-the-Shelf Automated Analysis of Liveness Properties for Just Paths: (Extended Abstract);Towards a Spatial Model Checker on GPU;formal Verification of HotStuff;better Late than Never or: Verifying Asynchronous Components at Runtime;Tutorial: Designing distributed Software in mCRL2;a Multi-agent Model for Polarization Under Confirmation Bias in Social Networks;A Formalisation of SysML State Machines in mCRL2;how Adaptive and Reliable is Your Program?;branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves;prioritise the Best Variation;Towards Multi-layered Temporal Models:: A Proposal to Integrate Instant Refinement in CCSL.
the proceedings contain 25 papers. the special focus in this conference is on distributedcomputing. the topics include: Resilient consensus for infinitely many processes;uniform solvability with a finite number of MW...
ISBN:
(纸本)354020184X
the proceedings contain 25 papers. the special focus in this conference is on distributedcomputing. the topics include: Resilient consensus for infinitely many processes;uniform solvability with a finite number of MWMR registers;timing-based mutual exclusion with local spinning;on the uncontended complexity of consensus;probabilistic quorums for dynamic systems.efficient replication of large data objects;on the locality of consistency conditions;multi-writer consistency conditions for shared memory objects;booting clock synchronization in partially synchronous systems.automatic discovery of mutual exclusion algorithms;on the implementation complexity of specifications of concurrent programs;competitive management of non-preemptive queues with multiple values;constructing disjoint paths for secure communication;compact routing for flat networks;lower bounds for oblivious single-packet end-to-end communication;efficient gossip and robust distributed computation;condition-based consensus in synchronous systems.using conditions to expedite consensus in synchronous distributedsystems.tight bounds on early local decisions in uniform consensus;tight bounds for k-set agreement with limited-scope failure detectors;on failure detectors and type boosters;asymptotically efficient approaches to fault-tolerance in peer-to-peer networks;maximizing remote work in flooding-based peer-to-peer systems.and overcoming the majority barrier in large-scale systems.
the proceedings contain 107 papers. the topics discussed include: development of intelligent information decision support systems.theoretical and methodological basis of studying the factors affecting economic growth ...
ISBN:
(纸本)9781450399050
the proceedings contain 107 papers. the topics discussed include: development of intelligent information decision support systems.theoretical and methodological basis of studying the factors affecting economic growth in the digital economy;a systematic mapping study of effective regulations and policies against digital monopolies: visualizing the recent status of anti-monopoly research areas in the digital economy;numerical simulation of separate flow around a heated square cylinder;simulation of swirling flows based on modified two-fluid turbulence model;impact of technology-supported marketing strategies on food security and provision: evidence from Uzbekistan’s confectionery industry;the role of insurance companies in the national economy digitalization;prospects for the use of digital technologies in securing tax revenues;ensuring the smooth operation of physical technology companies in distributed environments;prospects for the development of the fund market through Islamic securities in the digital economy;and methodology for assessing the financial security of enterprises in the post-pandemic period of digital economy.
the proceedings contain 311 papers. the topics discussed include: a robust image hashing with enhanced randomness by using random walk on zigzag blocking;securing fast learning! ridge regression over encrypted big dat...
ISBN:
(纸本)9781509032051
the proceedings contain 311 papers. the topics discussed include: a robust image hashing with enhanced randomness by using random walk on zigzag blocking;securing fast learning! ridge regression over encrypted big data;computational trust model for repeated trust games;formal analysis of selective disclosure attribute-based credential system in applied Pi calculus;node trust prediction framework in mobile ad hoc networks;trust enhancement over range search for encrypted data;healthcare fraud detection based on trustworthiness of doctors;integrated security for services hosted in virtual environments;a permissioned blockchain framework for supporting instant transaction and dynamic block size;trust validation of cloud IaaS: a customer-centric approach;distributed bitcoin account management;trusted Boolean search on cloud using searchable symmetric encryption;and dynamic attribute-based access control in cloud storage systems.
the proceedings contain 19 papers. the special focus in this conference is on Ubiquitous services and applications, Grid computing, Sensor networks, Context awareness, Service orientation, distributed fault tolerant c...
ISBN:
(纸本)3642136443
the proceedings contain 19 papers. the special focus in this conference is on Ubiquitous services and applications, Grid computing, Sensor networks, Context awareness, Service orientation, distributed fault tolerant controllers, Cloud and cluster computing, Adaptive and (re)configurable systems.and Collaborative systems.the topics include: RESTful integration of heterogeneous devices in pervasive environments, hosting and using services with QoS guarantee in self-adaptive service systems. validating evolutionary algorithms on volunteer computing grids, a reconfiguration language for virtualized grid infrastructures, distributed object-oriented programming with RFID technology, WISeMid: middleware for integrating wireless sensor networks and the internet, structured context prediction: a generic approach, experiments in model driven composition of user interfaces, service discovery in ubiquitous feedback control loops, qos self-configuring failure detectors for distributedsystems.distributed fault tolerant controllers, automatic software deployment in the azure cloud, G2CL: a generic group communication layer for clustered applications, dynamic composition of cross-organizational features in distributed software systems. co-ordinated utility-based adaptation of multiple applications on resource-constrained mobile devices, gradienTv: market-based P2P live media streaming on the gradient overlay and collaborative ranking and profiling: exploiting the wisdom of crowds in tailored web search.
the proceedings contain 22 papers. the special focus in this conference is on Internet and distributedcomputingsystems.the topics include: An efficient detection model of selective forwarding attacks in wireless me...
ISBN:
(纸本)9783642348822
the proceedings contain 22 papers. the special focus in this conference is on Internet and distributedcomputingsystems.the topics include: An efficient detection model of selective forwarding attacks in wireless mesh networks;effective ad hoc social networking on OLSR MANET using similarity of interest approach;distributed algorithms for the creation of a new distributed ids in MANETs;practical privacy for value-added applications in vehicular ad hoc networks;optimizing streaming server selection for CDN-delivered live streaming;a novel hybrid IP traceback scheme with packet counters;a secure mix network with an efficient validity verification mechanism;a distributed locality preserving dimension reduction algorithm;on action permutation and progress for partially commutative asynchronous binary sessions;efficient ciphertext-policy attribute based encryption with hidden policy;an on-the-fly environment for rapid mashup development;towards a secure and available smart grid using intrusion tolerance;a note on constant-round concurrent zero-knowledge arguments of knowledge for NP;on the checkpointing strategy in desktop grids;a continuous reverse skyline query processing considering the mobility of query objects;performance analysis of wireless intrusion detection systems.designated condition one-time signatures;designated condition one-time signatures;limitation of listed-rule firewall and the design of tree-rule firewall.
暂无评论