The proceedings contain 150 papers. The topics discussed include: autonomous process or go navigation technology for congestion avoidance in distributed information service system;a parallel downloading method of copi...
ISBN:
(纸本)0769519210
The proceedings contain 150 papers. The topics discussed include: autonomous process or go navigation technology for congestion avoidance in distributed information service system;a parallel downloading method of coping with variable bandwidth;pulse: a class of super-worms against network infrastructure;autonomous cooperation technologies for achieving real time property and fault tolerance in service oriented community system;a real-time scheduling approach for a web-based rapid prototyping manufacturing platform;engineering tools to support interoperability in the development and maintenance of heterogeneous distributed real-time control systems;on the stability of autonomous decentralized flow control in high-speed networks with asymmetric configurations;survivable multi-level ad-hoc group operations;an optimal early stopping uniform consensus protocol in synchronous distributedsystems with orderly crash failures;and dynamic, adaptive and reconfigurable systems: overview and prospective vision.
The proceedings contain 28 papers. The topics discussed include: proof of location through a blockchain agnostic smart contract language;implementation and preliminary evaluation of an auditable confidentiality mechan...
ISBN:
(纸本)9798350328127
The proceedings contain 28 papers. The topics discussed include: proof of location through a blockchain agnostic smart contract language;implementation and preliminary evaluation of an auditable confidentiality mechanism for DeFi;incentive-driven federated learning in mobile edge networks;OrcoDCS: an IoT-edge orchestrated online deep compressed sensing framework;the case for lazy byzantine fault detection for transactional database systems;a blockchain-driven architecture for usage control in solid;analyzing the effect of taproot on bitcoin deanonymization;enhancing portfolio performance with crypto tokens: a correlation network analysis;execution and statistical arbitrage with signals in multiple automated market makers;and the more you know: energy labelling enables more sustainable cryptocurrency investments.
The proceedings contain 7 papers. The topics discussed include: memetic algorithm for web service selection;model-driven performance engineering for wireless sensor networks with feature modeling and event calculus;de...
ISBN:
(纸本)9781450307338
The proceedings contain 7 papers. The topics discussed include: memetic algorithm for web service selection;model-driven performance engineering for wireless sensor networks with feature modeling and event calculus;description and composition of bio-inspired design patterns: the gradient case;methods for self-organizing distributed software;protein structure prediction using particle swarm optimization and a distributed parallel approach;discrete optimization problem solving with three variants of hybrid binary particle swarm optimization;and self-organized invasive parallel optimization.
The proceedings contain 23 papers. The topics discussed include: on notification message re-broadcasting for the node-disjoint multipath routing method in ad hoc networks to counter eavesdropping of data packets;an al...
ISBN:
(纸本)9781467373036
The proceedings contain 23 papers. The topics discussed include: on notification message re-broadcasting for the node-disjoint multipath routing method in ad hoc networks to counter eavesdropping of data packets;an alloy verification model for consensus-based auction protocols;a proposal for mobile collaborative work support platform using an embedded data stream management system;using genetic programming to identify tradeoffs in self-stabilizing programs: a case study;ensuring cloud service guarantees via service level agreement (SLA)-based resource allocation;Tengu: an experimentation platform for big data applications;making WiFi work in multi-hop topologies: automatic negotiation and allocation of airtime;expressing different traffic models using the LegoTG framework;providing a high level abstraction for SDN networks in GENI;in-network dynamic pathlet switching with VIRO for SDN networks;and selection of virtual machines based on classification of MapReduce jobs.
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 23rdinternationalconference on distributed Applications and Interoperable systems;and FORTE 2023, the 43rdinternationalconference 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.
The proceedings contains 75 papers. Topics discussed include self-stabilizing systems, sensor networks and energy management, peer to peer services, distributed algorithms, multimedia streaming, secure data sharing, q...
详细信息
The proceedings contains 75 papers. Topics discussed include self-stabilizing systems, sensor networks and energy management, peer to peer services, distributed algorithms, multimedia streaming, secure data sharing, quality of service, internet protocols, middleware communication services, fault tolerant systems, ubiquitous computing, network security, real time systems, web servers, middleware and interoperability, formal methods, Ad hoc network protocols, peer to peer infrastructure, synchronization, wide area distributedcomputing, mobile agents, program/software analysis, wireless access control and scalable data services.
The following topics are dealt with: self-stabilizing systems; sensor networks and energy management; peer-to-peer services; distributed algorithms; multimedia streaming; secure data sharing; quality of service; Inter...
详细信息
The following topics are dealt with: self-stabilizing systems; sensor networks and energy management; peer-to-peer services; distributed algorithms; multimedia streaming; secure data sharing; quality of service; Internet protocols; middleware communication services; fault-tolerant systems; ubiquitous computing; network security; real-time systems; Web servers; formal methods; ad hoc network protocols; wide area distributedcomputing; mobile agents; and wireless access control.
The group protocol supports applications with enough quality of service (QoS) in change of QoS supported by the underlying network and required by applications. A flexible group service is supported for applications b...
详细信息
ISBN:
(纸本)0769519210
The group protocol supports applications with enough quality of service (QoS) in change of QoS supported by the underlying network and required by applications. A flexible group service is supported for applications by cooperation of multiple autonomous agents. Each agent dynamically and autonomously takes a class of each protocol function like retransmission which is consistent with the other agents.
暂无评论