-
1
Modeling and analysis of the behavior of successive reactive programs
Published 2018-10-01“…They may be used also as simple models of sequential reactive programs. These programs operate in the interaction with the environment permanently receiving data (requests) from it. …”
Get full text
Article -
2
Dynamic Controllability of Temporally-flexible Reactive Programs
Published 2011“…In this paper we extend dynamic controllability of temporally-flexible plans to temporally-flexible reactive programs. We consider three reactive programming language constructs whose behavior depends on runtime observations; conditional execution, iteration, and exception handling. …”
Get full text
Get full text
Article -
3
The Implementation of Metagraph Agents Based on Functional Reactive Programming
Published 2020-04-01Subjects: Get full text
Article -
4
Synthesizing Structured Reactive Programs via Deterministic Tree Automata
Published 2013-03-01“…In 2011, Madhusudan proposed an algorithm to construct a structured reactive program for a given omega-regular specification without synthesizing a transition system first. …”
Get full text
Article -
5
Combining Functional and Automata Synthesis to Learn Causal Reactive Programs
Published 2022Get full text
Thesis -
6
Combining Functional and Automata Synthesis to Discover Causal Reactive Programs
Published 2023Get full text
Article -
7
Applying abstract acceleration to (co−)reachability analysis of reactive programs
Published 2012Journal article -
8
The Use of Reactive Programming in the Proposed Model for Cloud Security Controlled by ITSS
Published 2022-04-01Subjects: “…reactive programming…”
Get full text
Article -
9
-
10
Reactive Scheduling Presentation for an Open Shop problem focused on job\\\'s due dates
Published 2016-02-01Subjects: “…Reactive programming…”
Get full text
Article -
11
A Teleo-Reactive Node for Implementing Internet of Things Systems
Published 2018-04-01Subjects: Get full text
Article -
12
Following the Writer’s Path to the Dynamically Coalescing Reactive Chains Design Pattern
Published 2024-01-01Subjects: Get full text
Article -
13
A Swarm of Injustice: A Sociopolitical Framework for Global Justice in the Management of the Desert Locust
Published 2021-02-01Subjects: “…preventative and reactive programs…”
Get full text
Article -
14
From Events to Reactions: A Progress Report
Published 2016-06-01“…This paper presents event-oriented Syndicate programming and then describes a preliminary design for augmenting it with new reactive programming constructs.…”
Get full text
Article -
15
REFRAME–A software framework for managing reactive dependencies in object-oriented applications
Published 2023-12-01“…Paradigms such as Reactive Programming (RP) make this task easier by providing programming languages with built-in abstractions and mechanisms for handling reactive dependencies. …”
Get full text
Article -
16
An Advanced Learning-Based Multiple Model Control Supervisor for Pumping Stations in a Smart Water Distribution System
Published 2020-06-01“…The high-level processing and components for smart water distribution systems are supported by the smart meters, providing real-time data, push-based and decoupled software architectures and reactive programming.…”
Get full text
Article -
17
GeneMarkeR: A Database and User Interface for scRNA-seq Marker Genes
Published 2021-10-01“…Furthermore, the tool incorporates reactive programming to enable researchers to retrieve standardized public data supporting the marker genes. …”
Get full text
Article -
18
A Traffic Analysis on Serverless Computing Based on the Example of a File Upload Stream on AWS Lambda
Published 2020-12-01“…This term describes the event-driven, reactive programming paradigm of functional components in container instances, which are scaled, deployed, executed and billed by the cloud provider on demand. …”
Get full text
Article -
19
ReactiveFnJ: A choreographed model for Fork-Join Workflow in Serverless Computing
Published 2023-04-01“…Abstract Function-as-a-Service (FaaS) is an event-based reactive programming model where functions run in ephemeral stateless containers for short duration. …”
Get full text
Article -
20
Dynamic single-cell RNA-seq analysis reveals distinct tumor program associated with microenvironmental remodeling and drug sensitivity in multiple myeloma
Published 2023-01-01“…We identified that unfolded protein response and metabolic-related program were decreased, whereas stress-associated and immune reactive programs were increased after 2 cycles of VCD treatment. …”
Get full text
Article