A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Filters
Continuous distributed monitoring
2011
Proceedings of the First International Workshop on Algorithms and Models for Distributed Event Processing - AlMoDEP '11
This survey introduces this model, and describe a selection results in this setting, from the simple counting problem to a variety of other functions that have been studied. ...
In the model of continuous distributed monitoring, a number of observers each see a stream of observations. Their goal is to work together to compute a function of the union of their observations. ...
Muthukrishnan and Ke Yi for comments and suggestions. Thanks also to Luigi Laura for encouraging me to finish this survey on time. ...
doi:10.1145/2031792.2031793
dblp:conf/almodep/Cormode11
fatcat:2pukvnyvujekpnnz6lunuwl2mq
A model for continuous query latencies in data streams
2011
Proceedings of the First International Workshop on Algorithms and Models for Distributed Event Processing - AlMoDEP '11
In this paper we propose a formal model for characterizing latencies affecting the computation of a continuous query either in a Data Stream Management System (DSMS) or in a Complex Event Processing (CEP ...
In order to model the continuous query we use an acyclic directed (data-flow) graph whose nodes are the EPUs and edges represent the flow of information (events) processed by the EPUs themselves. ...
SYSTEM MODEL
Event Processing Unit. ...
doi:10.1145/2031792.2031796
dblp:conf/almodep/BaldoniLFL11
fatcat:gnv4gh2smjgvvfhkkhcogfgtca
Characterizing the adversarial power in uniform and ergodic node sampling
2011
Proceedings of the First International Workshop on Algorithms and Models for Distributed Event Processing - AlMoDEP '11
This sample is built out of a stream of events received at each node. ...
The former model allows us to derive lower bounds on the impact that the adversary has on the sampling functionality while the latter one corresponds to a realistic model. ...
The 1st International Workshop on Algorithms and Models for Distributed Event Processing (AlMoDEP '11) collocated with the 25th International Symposium on Distributed Computing (DISC 2011). ...
doi:10.1145/2031792.2031795
dblp:conf/almodep/AnceaumeBG11
fatcat:hebyufrj2bbjrkuxaoqielfy6m
Revisiting Snapshot Algorithms by Refinement-Based Techniques
2012
2012 13th International Conference on Parallel and Distributed Computing, Applications and Technologies
The formalization process is based on a modeling language Event B, which supports a refinement-based incremental development using RODIN platform. ...
Among existing solutions, Chandy and Lamport have proposed a simple distributed algorithm. ...
We are mainly interested by providing recipes for using the Event B framework and refinement for developing the distributed algorithms. ...
doi:10.1109/pdcat.2012.119
dblp:conf/pdcat/AndriamiarinaMS12
fatcat:33vveeaxdjgizbbi32wqbjunq4
Revisiting snapshot algorithms by refinement-based techniques
2014
Computer Science and Information Systems
The formalization process is based on a modeling language Event B, which supports a refinement-based incremental development using RODIN platform. ...
Among the existing solutions, Chandy and Lamport propose a simple distributed algorithm. ...
The model LOC-PROCESS, refining PROCESS, localizes informations and describes a model for the Lai and Yang algorithm. ...
doi:10.2298/csis130122007a
fatcat:ci6zwtafqndppdkm7uerqzjita
Automatic Generation of DistAlgo Programs from Event-B Models
[chapter]
2020
Lecture Notes in Computer Science
The DistAlgo language is a highlevel programming language for distributed algorithms. ...
The Event-B language combines refinement techniques and state based modelling and is adapted to the verification of distributed systems [3, 12] . ...
Development of the Transformation The LB language [5] defines a distributed algorithm in Event-B as a collection of processes with a specific local algorithm for each process. ...
doi:10.1007/978-3-030-48077-6_34
fatcat:a4mbawsb6vevzasaf4echw4izm
VISIRI - Distributed Complex Event Processing System for Handling Large Number of Queries
[chapter]
2015
Lecture Notes in Computer Science
Distributed CEP systems have been identified as the best alternative for this. ...
The CEP query distribution algorithm in VISIRI is able to distribute a large number of queries among a set of CEP nodes in such a way that the event duplication in the network is minimized while not compromising ...
The query distribution algorithm in the SCTXPF system is optimized for large number of complex event processing queries and for very high events rates. ...
doi:10.1007/978-3-319-19282-6_15
fatcat:rzfr7y4c3rdqflyzuj2rebhvum
Research on Emergency Logistics Scheduling Model Based on Disruptions
2006
2006 International Conference on Management Science and Engineering
From the views of emergency logistics scheduling, the disruption events during the process of logistics distribution are discussed and classified into three groups by its impacts on the status of goods ...
The method proposed in this paper will supply a new perspective for the research of theory and decision support application in the disposal of disruptions and real time controlling during logistics distribution ...
model can only used to specific distribution circumstances and there are so many kinds of logistics distribution models and algorithms. ...
doi:10.1109/icmse.2006.314174
fatcat:snmhfklvd5btnbgeqjsitocnuy
Generating Distributed Programs from Event-B Models
2020
Electronic Proceedings in Theoretical Computer Science
In this paper, we present an approach for combining correct-by-construction approaches and transformations of formal models (Event-B) into programs (DistAlgo) to address the design of verified distributed ...
The refinement process and the soundness of the transformation allow one to produce correct-by-construction distributed programs. ...
Modelling Distributed Algorithms in EVENT-B We use the modelling technique of G. ...
doi:10.4204/eptcs.320.8
fatcat:elzebiuvhfa3fkdecvej6pcyeq
DISCRETE-EVENT SIMULATION RANKING OF GOODS AND SERVICES IN SYSTEMS OF E-COMMERCE
2022
Zenodo
Practical aspects of modeling are investigated algorithms and methods of ranking in e-commerce systems. An algorithmically optimal way to generate events for simulation of buy/sell events. ...
Showing how to use data structures to obtain the optimal implementation of algorithms ranking. ...
Modeling of ranking algorithms. The task of modeling the ranking algorithm is reduced to modeling of two processes: the sales process and the ranking. ...
doi:10.5281/zenodo.6572174
fatcat:jqrvdrlb3fdexnjy3ljdvibqxa
Applying MapReduce to Conformance Checking
Применение MapReduce для проверки соответствия моделей процессов и логов событий
2016
Proceedings of the Institute for System Programming of RAS
Применение MapReduce для проверки соответствия моделей процессов и логов событий
Conformance checking algorithms are aimed to assess how well a given process model, typically represented by a Petri net, and a corresponding event log fit each other. ...
MapReduce is a popular model of parallel computing which allows for simple implementation of efficient and scalable distributed calculations. ...
A typical process discovery algorithm takes an even log as an input parameter and constructs a process model which adequately describes the behavior observed in the event log. ...
doi:10.15514/ispras-2016-28(3)-7
fatcat:mngicibgavh5nbulzb4gcdvv4y
Tool integration for flexible simulation of distributed algorithms
2001
Software, Practice & Experience
This is a simple algorithm that is used to establish causal ordering of events occurring in different processes. ...
We found that our approach encourages re-use of models in terms of using simpler models as a basis for building more complex models -this can make the development of distributed algorithms faster and simpler ...
Oliver Yu, for lending us, both the software and the hardware for carrying out our experiments. ...
doi:10.1002/spe.419
fatcat:kaxkg2hkund2nhgmwxp7qpllxu
A Renewal Model of Intrusion
[article]
2018
arXiv
pre-print
We present a probabilistic model of an intrusion in a renewal process. Given a process and a sequence of events, an intrusion is a subsequence of events that is not produced by the process. ...
We evaluate the model for intrusion detection on synthetic data and on anonymized data from an online payment system. ...
Renewal processes [5] are used to model arrival of events where hold times between events are independently distributed. ...
arXiv:1709.08163v5
fatcat:dqxu7ys2wrckxaithpsb7crvtq
Counterfactual Temporal Point Processes
[article]
2022
arXiv
pre-print
To this end, we first develop a causal model of thinning for temporal point processes that builds upon the Gumbel-Max structural causal model. ...
Then, given an observed realization of a temporal point process with a given intensity function, we develop a sampling algorithm that uses the above causal model of thinning and the superposition theorem ...
Acknowledgements We would like to thank William Trouleau for sharing with us a pre-processed version of the Ebola dataset as well as the fitted stochastic block model we used in our simulation experiments ...
arXiv:2111.07603v2
fatcat:iaa6gmara5dflcqcov5sgcv3wm
Event Monitoring using Distributed Pattern Recognition Approach on Integrated IoT-Blockchain Network
2019
Advances in Science, Technology and Engineering Systems
Combining this IoT event monitoring capabilities with blockchain-based data storage and verification could leads towards a scalable event detection and monitoring model for large-scale network. ...
In this paper, we present a distributed event monitoring scheme using a Hierarchical Graph Neuron (HGN) distributed pattern recognition algorithm. ...
GN-Based Approach for Event Monitoring Graph Neuron (GN) is a single-cycle learning distributed pattern recognition algorithm that utilizes the in-network processing model [11] . ...
doi:10.25046/aj040432
fatcat:npweyq4penadfd5b7vc4uyta6m
« Previous
Showing results 1 — 15 out of 851,004 results