the proceedings contains 136 papers from the the 24th IEEE internationalconference on distributedcomputingsystems Workshops. the topics discussed include: automatic group protocol for distributedsystems;a new medi...
详细信息
the proceedings contains 136 papers from the the 24th IEEE internationalconference on distributedcomputingsystems Workshops. the topics discussed include: automatic group protocol for distributedsystems;a new media access control protocol for simple hop WDM networks;distributed index updating method for intranet information retrieval;an agent-based consumer recommendation mechanism;pocket SCORM;a general architecture for wireless sensor networks: first steps;log-structured storage for efficient weakly-connected replication and autonomous and proactive adjustment of update allowance in autonomous decentralized database system.
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 51 papers. the topics discussed include: using an updating of DHCP in mobile ad-hoc networks;searching and detecting spatial LSB steganographic images on the Internet;development of parallel di...
详细信息
ISBN:
(纸本)0889865701
the proceedings contain 51 papers. the topics discussed include: using an updating of DHCP in mobile ad-hoc networks;searching and detecting spatial LSB steganographic images on the Internet;development of parallel direct sparse linear solvers within a parallel finite element code;checkpointing and rollback-recovery protocol integrated with VsSG protocol for RYW session guarantee;achieving realtime capabilities in Ethernet networks by edge-coloring of communication conflict-multigraphs;cross-layer designs for mitigating range attacks in ad hoc networks;grid load balancing using an echo system of intelligent ants;critical path routing (CPR) protocol for mobile ad hoc networks;ADPROC: an adaptive routing framework to provide QoS in wireless sensor networks;evaluating the use of Motes and Tinyos for a mobile sensor platform;and a comparison study of optical MIN networks with parallel planes.
the proceedings contain 64 papers. the topics discussed include: analyzing program transitions to compute benefit of tolerating consistency violation faults;GeoChain: a locality-based Sharding protocol for permissione...
ISBN:
(纸本)9781450397964
the proceedings contain 64 papers. the topics discussed include: analyzing program transitions to compute benefit of tolerating consistency violation faults;GeoChain: a locality-based Sharding protocol for permissioned blockchains;impact of redundancy on resilience in distributed optimization and learning;the snow plow problem: perpetual maintenance by mobile agents on the line;self-stabilizing synchronous unison in directed networks;dynamic graph models inspired by the bitcoin network-formation process;scalable skill-oriented task allocation in crowdsourcing within a serverless ecosystem;distributed data minimization for decentralized collaborative filtering systems;the geodesic mutual visibility problem for oblivious robots: the case of trees;almost-surely terminating asynchronous byzantine agreement against general adversaries with optimal resilience;learned load balancing;structured hypergraphs in cellular mobile communication systems;and an approximation algorithm for path planning of vehicles for data collection in wireless rechargeable sensor networks.
the proceedings contain 13 papers. the special focus in this conference is on Coordination Models and Languages. the topics include: Formal Methods for Socio-technical Security: (Formal and Automated Analysis of ...
ISBN:
(纸本)9783031081453
the proceedings contain 13 papers. the special focus in this conference is on Coordination Models and Languages. the topics include: Formal Methods for Socio-technical Security: (Formal and Automated Analysis of Security Ceremonies);soft Concurrent Constraint Programming with Local Variables;a Synthesis Tool for Optimal Monitors in a Branching-Time Setting;A Monitoring Tool for Linear-Time μ HML;Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs;MIMOS: A Deterministic Model for the Design and Update of Real-Time systems;A Sound Up-to- n, δ Bisimilarity for PCTL;Extensible 3D Simulation of Aggregated systems with FCPP;towards Reinforcement Learning-based Aggregate computing;sibilla: A Tool for Reasoning about Collective systems;space-Fluid Adaptive Sampling: A Field-Based, Self-organising Approach;formal Choreographic Languages.
the proceedings contain 25 papers. the topics discussed include: pattern-based modeling, integration, and deployment of microservice architectures;open source software development process: a systematic review;explaina...
ISBN:
(纸本)9781728164731
the proceedings contain 25 papers. the topics discussed include: pattern-based modeling, integration, and deployment of microservice architectures;open source software development process: a systematic review;explainable queries over event logs;verifying compliance of process compositions through certification of its components;end-to-end production process orchestration for smart printing factories: an application in industry;how business process benchmarks enable organizations to improve performance;TOSCA4QC: two modeling styles for TOSCA to automate the deployment and orchestration of quantum applications;and assessing resilience in enterprise architecture: a systematic review.
暂无评论