Filters








15,421 Hits in 7.8 sec

From agent-based modeling to actor-based reactive systems in the analysis of financial networks

Silvia Crafa
2021 Journal of Economic Interaction and Coordination  
AbstractWe present a new framework for the analysis of financial networks, called Actor-based Reactive Systems (ARS), that pushes further the Agent-Based approach (ABM) by resorting to ideas coming from  ...  the study of distributed systems in computer science.  ...  The system spawns an Institution actor for each of the 286 banks, and a Loan actor for each edge in the interbanking graph.  ... 
doi:10.1007/s11403-021-00323-8 fatcat:5j657tz2tvelpn57cwlrwav354

Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model

Sam Van den Vonder, Thierry Renaux, Bjarno Oeyen, Joeri De Koster, Wolfgang De Meuter, Robert Hirschfeld, Tobias Pape
2020 European Conference on Object-Oriented Programming  
Actors and reactors enforce a strict separation of imperative and reactive code, and they can be composed via a number of composition operators that make use of data streams.  ...  In practice reactive programming can only be used for some parts of an application: a reactive program is usually embedded in an application that is still written in ordinary imperative languages such  ...  To this end the Actor-Reactor Model serves as a new mental model to classify and design reactive systems.  ... 
doi:10.4230/lipics.ecoop.2020.19 dblp:conf/ecoop/VonderROKM19 fatcat:wbvonmyfdnc2teb3uqoceofuli

On Time Actors [chapter]

Marjan Sirjani, Ehsan Khamespanah
2016 Lecture Notes in Computer Science  
Timed Rebeca is equipped with analysis techniques based on the standard semantics of timed systems, and also an innovative event-based semantics that is tailored for timed actor models.  ...  Timed Rebeca is an actor-based modeling language which is designed for modeling and analyzing of event-based and asynchronous systems with time constraints.  ...  The Standard Semantics: Time Transition System FTTS can be used for efficient event-based analysis of Timed Rebeca models; however, it can not be used for the analysis against timed state-based properties  ... 
doi:10.1007/978-3-319-30734-3_25 fatcat:rcgkhc6l2zcqte24or54k2tvte

Actor-Relational Database Systems: A Manifesto [article]

Vivek Shah, Marcos Antonio Vaz Salles
2018 arXiv   pre-print
Towards this aim, in this paper we analyze, make the case for, and present a broad vision of actor-relational database systems.  ...  With this growing diversity of the software and hardware landscape, there is a pressure on programming models and systems to enable developers to design modular, scalable, efficient, and consistent data-intensive  ...  Moreover, of late reactive systems have garnered a lot of attention because of their advocacy for a messagedriven architecture for building fault-tolerant, elastic and responsive systems [59] .  ... 
arXiv:1707.06507v2 fatcat:5qekccnq4jdpvfz47n6vjvmc3y

Antioxidants: Positive or Negative Actors?

Bahare Salehi, Miquel Martorell, Jack Arbiser, Antoni Sureda, Natália Martins, Pawan Maurya, Mehdi Sharifi-Rad, Pradeep Kumar, Javad Sharifi-Rad
2018 Biomolecules  
Further, the ability of the most commonly used supplements, such as vitamins C, E, selenium, and herbal supplements to decrease pathologic reactive oxygen species is not clearly established.  ...  In chemistry, "antioxidant" is simply conceived "a compound that removes reactive species, mainly those oxygen-derived", while in a cell context, the conceptual definition of an antioxidant is poorly understood  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/biom8040124 pmid:30366441 fatcat:ef7vh73izvfmdibahvmrjnjwzy

Ten Years of Analyzing Actors: Rebeca Experience [chapter]

Marjan Sirjani, Mohammad Mahdi Jaghoori
2011 Lecture Notes in Computer Science  
For example, we present the modular schedulability analysis of timed actor-based models and formal techniques to check correctness of self-adaptive systems using Rebeca.  ...  Rebeca is designed as an imperative actor-based language with the goal of providing an easy to use language for modeling concurrent and distributed systems, with formal verification support.  ...  Acknowledgement We wish to thank all the present and past members of the Rebeca group for their enthusiasm and hard work.  ... 
doi:10.1007/978-3-642-24933-4_3 fatcat:oxdrmkg735evzkmjg7wodytbea

Efficient TCTL Model Checking Algorithm for Timed Actors

Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani
2014 Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control - AGERE! '14  
Non-Polynomial time complexity of model checking algorithms for TCTL properties in dense time is one of the obstacles against using model checking for timed systems.  ...  Then, we show when the necessary conditions hold for the FTS of timed actors and hence there is an O(n 2 ) algorithm for model checking of complete TCTL properties (including TCTL ≤,≥ and TCTL = ) which  ...  Acknowledgments The work on this paper has been partially supported by the project "Timed Asynchronous Reactive Objects in Distributed Systems: TARO" (nr. 110020021) of the Icelandic Research Fund.  ... 
doi:10.1145/2687357.2687366 dblp:conf/agere/KhamespanahKS14 fatcat:j5ievxkvqnhvpjb7cdto4vqcki

Programming with Actors in Java 8 [chapter]

Behrooz Nobakht, Frank S. de Boer
2014 Lecture Notes in Computer Science  
We show in this paper that such features in Java 8 allow for a high-level actor-based methodology for programming distributed systems which supports the programming to interfaces discipline.  ...  We further discuss different concurrent execution and thread-based deployment models and an extension of the API for its actual parallel and distributed implementation.  ...  The same set of benchmarks are performed in isolation for both of the applications.  ... 
doi:10.1007/978-3-662-45231-8_4 fatcat:4ungmi5rlvfcfbfpz5g5jwctla

Akka.js: towards a portable actor runtime environment

Gianluca Stivan, Andrea Peruffo, Philipp Haller
2015 Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control - AGERE! 2015  
Multiple mature implementations of the actor model of concurrency exist.  ...  This paper describes our ongoing effort in providing a portable implementation of the widely-used Akka actor framework.  ...  Moreover, we would also like to thank Sébastien Doeraene from EPFL, whose work (Scala.js and scala-js-actors) laid the foundations for this paper.  ... 
doi:10.1145/2824815.2824821 dblp:conf/agere/StivanPH15 fatcat:lheybsre5fcd7f5wmllexzslzq

A Hierarchical Deep Actor-Critic Learning Method for Joint Distribution System State Estimation [article]

Yuxuan Yuan, Kaveh Dehghanpour, Zhaoyu Wang, Fankun Bu
2020 arXiv   pre-print
However, this requires solving the distribution system state estimation (DSSE) jointly for both primary and secondary levels of distribution grids, which is computationally complex and lacks scalability  ...  efficiency of the framework.  ...  DEEP ACTOR-CRITIC STRATEGY FOR JOINT DSSE The goal of the proposed method is to provide an efficient model for improving distribution system situational awareness.  ... 
arXiv:2012.02880v1 fatcat:gcpmf77wlrcu7ampo4h4beq2t4

Reliable Actors with Retry Orchestration [article]

Olivier Tardieu
2021 arXiv   pre-print
Our model guarantees that (1) failed actor invocations are retried until success, (2) in a distributed chain of invocations only the last one may be retried, (3) pending synchronous invocations with a  ...  We advocate for, formalize, implement, and evaluate a simple, albeit effective, fault-tolerant programming model for the cloud based on actors, reliable message delivery, and retry orchestration.  ...  Analysis of 383 single node failures induced in a 14 hour run of the Reefer application.  ... 
arXiv:2111.11562v1 fatcat:yzmgcwsiszfa3izlmv3o5owley

Transforming Service Compositions into Cloud-Friendly Actor Networks [chapter]

Dragan Ivanović, Manuel Carro
2014 Lecture Notes in Computer Science  
location transparency, clustering, load balancing, and integration capabilities of modern actor systems, such as Akka.  ...  state, towards a finer-grained model of concurrency and distribution based on actors, state messaging, and non-blocking write-only state persistence.  ...  Outline of the Approach We use actor systems [12, 13, 2, 3] as the underlying model of concurrent and distributed computing.  ... 
doi:10.1007/978-3-662-45391-9_20 fatcat:lgdughwdlvgixdj2nhlvhdbsku

Reactive Async: expressive deterministic concurrency

Philipp Haller, Simon Geries, Michael Eichberg, Guido Salvaneschi
2016 Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala - SCALA 2016  
Compared to previously proposed programming models Reactive Async provides (a) a fallback mechanism for the case where no computation ever computes the value of a given cell, and (b) explicit and optimized  ...  Concurrent programming is infamous for its difficulty. An important source of difficulty is non-determinism, stemming from unpredictable interleavings of concurrent activities.  ...  In distributed systems, monotonicity has been used to guarantee eventual consistency.  ... 
doi:10.1145/2998392.2998396 dblp:conf/scala/HallerGES16 fatcat:frm4rdmu6rbgvhjnjsrca5jihu

Geo-distribution of actor-based services

Philip A. Bernstein, Adriana Szekeres, Jorgen Thelin, Sebastian Burckhardt, Sergey Bykov, Natacha Crooks, Jose M. Faleiro, Gabriel Kliot, Alok Kumbhare, Muntasir Raihan Rahman, Vivek Shah
2017 Proceedings of the ACM on Programming Languages  
We present Geo, an open-source geo-distributed actor system that improves performance by caching actor states in one or more datacenters, yet guarantees the existence of a single latest version by virtue  ...  of a distributed cache coherence protocol.  ...  Actor systems scale horizontally by distributing the actor instances across a cluster of servers.  ... 
doi:10.1145/3133931 dblp:journals/pacmpl/BernsteinBBCFKK17 fatcat:redqe536w5epvhkeisn5jcgpgy

Efficient Employment of Non-Reactive Sensors

Moshe Kress, Roberto Szechtman, Jason S. Jones
2008 Military Operations Research  
RESULTS AND ANALYSIS In this section we present the results and their analysis for both the dummy and smart EFFICIENT EMPLOYMENT OF NON-REACTIVE SENSORS sensor models.  ...  In contrast, two other apparently isolated actors, A. Alghamdi (12) and S.  ...  He then became a founding member of the Historical Analysis group in what was the Defence Operational Analysis Establishment.  ... 
doi:10.5711/morj.13.4.45 fatcat:5txjd4lsmbhszk3pabwqtrlkii
« Previous Showing results 1 — 15 out of 15,421 results