the proceedings contain 43 papers. the topics discussed include: model-based verification of event-driven business processes;efficient analysis of event processing applications;complex event processing for reactive se...
ISBN:
(纸本)9781450332866
the proceedings contain 43 papers. the topics discussed include: model-based verification of event-driven business processes;efficient analysis of event processing applications;complex event processing for reactive security monitoring in virtualized computer systems;lazy evaluation methods for detecting complex events;TOPiCo: detecting most frequent items from multiple high-rate event streams;quality-driven processing of sliding window aggregates over out-of-order data streams;efficient key grouping for near-optimal load balancing in stream processing systems;distributed control plane for software-defined networks: a case study using event-based middleware;towards prioritized event matching in a content-based publish/subscribe system;and an algebra for pattern matching, time-aware aggregates and partitions on relational data streams.
the proceedings contain 27 papers. the topics discussed include: CougaR: fast and eclipse-resilient dissemination for blockchain networks;optimizing complex event forecasting;predicate-based push-pull communication fo...
ISBN:
(纸本)9781450393089
the proceedings contain 27 papers. the topics discussed include: CougaR: fast and eclipse-resilient dissemination for blockchain networks;optimizing complex event forecasting;predicate-based push-pull communication for distributed CEP;toward reducing cross-shard transaction overhead in sharded blockchains;substream management in distributed streaming dataflows;a multi-level caching architecture for stateful stream computation;travel light - state shedding for efficient operator migration;zero-shot cost models for distributed stream processing;window-based parallel operator execution with in-network computing;event-based data-centric semantics for consistent data management in microservices;knowledge graph stream processing at the edge;and deriving a realistic workload model to simulate high-volume financial data feeds for performance benchmarking.
the proceedings contain 28 papers. the topics discussed include: Triggerflow: trigger-based orchestration of serverless workflows;leaving stragglers at the window: low-latency stream sampling with accuracy guarantees;...
ISBN:
(纸本)9781450380287
the proceedings contain 28 papers. the topics discussed include: Triggerflow: trigger-based orchestration of serverless workflows;leaving stragglers at the window: low-latency stream sampling with accuracy guarantees;EdgeScaler: effective elastic scaling for graph stream processing systems;mechanisms for outsourcing computation via a decentralized market;FaaSdom: a benchmark suite for serverless computing;ByzGame: Byzantine generals game;the Kaiju project: enabling event-driven observability;DeepMatch: deep matching for in-vehicle presence detection in transportation;Hermes: enabling energy-efficient IoT networks with generalized deduplication;and doctoral symposium: trade-off analysis of thermal-constrained scheduling strategies in multi-core systems.
the proceedings contain 26 papers. the topics discussed include: a selective and biased choice of techniques for building a distributed data store;accelerating the performance of distributed stream processing systems ...
ISBN:
(纸本)9798400701221
the proceedings contain 26 papers. the topics discussed include: a selective and biased choice of techniques for building a distributed data store;accelerating the performance of distributed stream processing systems with in-network computing;secure distributed data and event processing at scale: where are we now?;adaptive distributed streaming similarity joins;I will survive: an event-driven conformance checking approach over process streams;on improving streaming system Autoscaler behavior using windowing and weighting methods;practical forecasting of cryptocoins timeseries using correlation patterns;an exploratory analysis of methods for real-time data deduplication in streaming processes;considerations for integrating virtual threads in a Java framework: a Quarkus example in a resource-constrained environment;and discovery of breakout patterns in financial tick data via parallel stream processing with in-order guarantees.
the proceedings contain 30 papers. the topics discussed include: Challenger 2.0: a step towards automated deployments and resilient solutions for the DEBS grand challenge;safe shared state in dataflow systems;AquaLang...
ISBN:
(纸本)9798400704437
the proceedings contain 30 papers. the topics discussed include: Challenger 2.0: a step towards automated deployments and resilient solutions for the DEBS grand challenge;safe shared state in dataflow systems;AquaLang: a dataflow programming language;aggregates are all you need (to bridge stream processing and complex event recognition);StreamBed: capacity planning for stream processing;last night in Sweden: a vision for resource-intelligent stream reasoning;evaluating stream processing Autoscalers;color-based lightweight utility-aware load shedding for real-time video analytics at the edge;job scheduling for HPC clusters: constraint programming vs. backfilling approaches;and a comprehensive benchmarking analysis of fault recovery in stream processing frameworks.
the proceedings contain 14 papers. the topics discussed include: guiding distributedsystems synthesis with language-based security policies;termination analysis of java bytecode;sessions and pipelines for structured ...
详细信息
ISBN:
(纸本)3540688625
the proceedings contain 14 papers. the topics discussed include: guiding distributedsystems synthesis with language-based security policies;termination analysis of java bytecode;sessions and pipelines for structured service programming;modular preservation of safety properties by cookie-based DoS-protection wrappers;mechanizing a correctness proof for a lock-free concurrent stack;symbolic step encoding for object based communicating state machines;modeling and model checking software product lines;semantic foundations and inference of non-null annotations;redesign of the LMST wireless sensor protocol through formal modeling and statistical model checking;formal modeling of a generic middleware to ensure invariant properties;and a caller-side inline reference monitor for an object-oriented intermediate language.
暂无评论