the proceedings contains 74 papers. Topics discussed include telecommunication systems, mobile systems, network protocols, information systems, real time scheduling, telecommunication services, information services, d...
详细信息
the proceedings contains 74 papers. Topics discussed include telecommunication systems, mobile systems, network protocols, information systems, real time scheduling, telecommunication services, information services, distributed computer systems and control, databases, object oriented programming and data processing.
the proceedings contain 84 papers. the topics discussed include: MMLRU selection function: an output selection function on adaptive routing;optimal broadcasting in injured hypercubes using directed safety levels;impro...
ISBN:
(纸本)9781618395740
the proceedings contain 84 papers. the topics discussed include: MMLRU selection function: an output selection function on adaptive routing;optimal broadcasting in injured hypercubes using directed safety levels;improving tree-based multicasting for wormhole switch-based networks;a group communications facility for reliable computing on clusters;deadlock-free prefix multicasting in irregular networks;multidestination multicast communication based on hierarchical block rings;bandwidth learning in distributed networking environments for global information dissemination;on the treatment of non-functional properties of dynamic distributed software architectures;order-theoretic refinement of infinite stream behaviors;and using path-spectra-based cloning in region-based optimization for instruction-level parallelism.
the proceedings contain 25 papers. the topics discussed include: distributed mining of popular paths in road networks;white space prediction for low-power wireless networks: a data-driven approach;projection-based con...
ISBN:
(纸本)9781538654705
the proceedings contain 25 papers. the topics discussed include: distributed mining of popular paths in road networks;white space prediction for low-power wireless networks: a data-driven approach;projection-based constrained fusion performance with link loss and measurement bias;recursive truth estimation of time-varying sensing data from online open sources;on designing provably correct DODAG formation criteria for the IPv6 routing protocol for low-power and lossy networks (RPL);duty-cycle-aware real-time scheduling of wireless links in low power WANs;knowledge transfer between embedded controllers;resilient distributed diffusion for multi-task estimation;leveraging knowledge for path exposure;frequency scaling in time synchronization for wireless sensor networks;and on cost-sensitive task allocation in social sensing: an online learning approach.
the proceedings contain 11 papers. the special focus in this conference is on distributed Applications and Interoperable systems. the topics include: CapBAC in hyperledger sawtooth;Developing secure services for IoT w...
ISBN:
(纸本)9783030224950
the proceedings contain 11 papers. the special focus in this conference is on distributed Applications and Interoperable systems. the topics include: CapBAC in hyperledger sawtooth;Developing secure services for IoT with OP-TEE: A first look at performance and usability;check-wait-pounce: Increasing transactional data structure throughput by delaying transactions;putting order in strong eventual consistency;composable actor behaviour;gossip learning as a decentralized alternative to federated learning;using trusted execution environments for secure stream processing of medical data: (Case study paper);stunner: A smart phone trace for developing decentralized edge systems;FOUGERE: User-centric location privacy in mobile crowdsourcing apps;On the performance of ARM trustzone: (Practical experience report).
the proceedings contain 18 papers. the special focus in this conference is on Formal Techniques for distributed Objects, Components, and systems. the topics include: Causal-Consistent Replay Debugging for Message Pass...
ISBN:
(纸本)9783030217587
the proceedings contain 18 papers. the special focus in this conference is on Formal Techniques for distributed Objects, Components, and systems. the topics include: Causal-Consistent Replay Debugging for Message Passing Programs;correct and Efficient Antichain Algorithms for Refinement Checking;towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification;unfolding-Based Dynamic Partial Order Reduction of Asynchronous distributed Programs;encapsulation and Sharing in Dynamic Software Architectures: the Hypercell Framework;decentralized Real-Time Safety Verification for distributed Cyber-Physical systems;on Certifying distributed Algorithms: Problem of Local Correctness;on a Higher-Order Calculus of Computational Fields;semantically Sound Analysis of Content Security Policies;squeezing Streams and Composition of Self-stabilizing Algorithms;parametric Updates in Parametric Timed Automata;Parametric Statistical Model Checking of UAV Flight Plan;only Connect, Securely;output-Sensitive Information Flow Analysis;component-aware Input-Output Conformance;declarative Choreographies and Liveness;Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes.
the proceedings contain 16 papers. the special focus in this conference is on distributedcomputing and Artificial Intelligence. the topics include: the Bayesian cost–effectiveness decision problem;evaluation of scie...
ISBN:
(纸本)9783319608815
the proceedings contain 16 papers. the special focus in this conference is on distributedcomputing and Artificial Intelligence. the topics include: the Bayesian cost–effectiveness decision problem;evaluation of scientific production without using bibliometric indicators;information aggregation in big data;a decision framework for understanding data-aware business process models;cluster analysis as a decision-making tool;similar patterns of cultural and creative industries;a basic algorithm to support decision-making behaviour;looking for regional convergence;information manipulation and web credibility;a data mining analysis of the Chinese inland-coastal inequality;a unified framework for multicriteria evaluation of intangible capital assets inside organizations;processing and analysing experimental data using a tensor-based method and the mediating effect of the absorptive capacity in the international entrepreneurial orientation of family firms.
the proceedings contain 118 papers. the topics discussed include: MIC: enabling efficient concurrent use of multiple network interfaces on mobile systems;improving always-on gesture recognition power efficiency for an...
ISBN:
(纸本)9781509035939
the proceedings contain 118 papers. the topics discussed include: MIC: enabling efficient concurrent use of multiple network interfaces on mobile systems;improving always-on gesture recognition power efficiency for android devices using sensor hubs;request-size aware flash translation layer based on page-level mapping;ruleset minimization in multi-tenant smart buildings;optimal multiprocessor real-time scheduling based on RUN for practical imprecise computation with harmonic periodic task sets;DockerCap: a software-level power capping orchestrator for docker containers;a partitional approach for genomic-data clustering combined with K-means algorithm;and a multi-sensor process for in-situ monitoring of water pollution in rivers or lakes for high-resolution quantitative and qualitative water quality data.
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 222 papers. the topics discussed include: DRL-deploy: adaptive service function chains deployment with deep reinforcement learning;accuracy vs. efficiency: achieving boththrough hardware-aware...
ISBN:
(纸本)9781665435741
the proceedings contain 222 papers. the topics discussed include: DRL-deploy: adaptive service function chains deployment with deep reinforcement learning;accuracy vs. efficiency: achieving boththrough hardware-aware quantization and reconfigurable architecture with mixed precision;cmss: collaborative modeling of safety and security requirements for network protocols;FGPA: fine-grained pipelined acceleration for depthwise separable CNN in resource constraint scenarios;Dyacon: JointCloud dynamic access control model of data security based on verifiable credentials;understanding the runtime overheads of deep learning inference on edge devices;and alleviating imbalance in synchronous distributed training of deep neural networks.
暂无评论