English
Related papers

Related papers: Building User-defined Runtime Adaptation Routines …

200 papers

Synchronous programming is a paradigm of choice for the design of safety-critical reactive systems. Runtime enforcement is a technique to ensure that the output of a black-box system satisfies some desired properties. This paper deals with…

Formal Languages and Automata Theory · Computer Science 2016-12-16 Srinivas Pinisetty , Partha S Roop , Steven Smyth , Stavros Tripakis , Reinhard von Hanxleden

Originator Control allows information providers to define the information re-dissemination condition. Combined with usage control policy, fine-grained 'downstream usage control' can be achieved, which specifies what attributes the…

Software Engineering · Computer Science 2012-03-27 Ziyi Su , Frédérique Biennier

More and more business activities are performed using information systems. These systems produce such huge amounts of event data that existing systems are unable to store and process them. Moreover, few processes are in steady-state and due…

Databases · Computer Science 2015-04-28 Andrea Burattin , Alessandro Sperduti , Wil M. P. van der Aalst

This paper describes the implementation and evaluation of an operating system module, the Congestion Manager (CM), which provides integrated network flow management and exports a convenient programming interface that allows applications to…

Networking and Internet Architecture · Computer Science 2007-05-23 David G. Andersen , Deepak Bansal , Dorothy Curtis , Srinivasan Seshan , Hari Balakrishnan

Runtime models provide a snapshot of a system at runtime at a desired level of abstraction. Via a causal connection to the modeled system and by employing model-driven engineering techniques, runtime models support schemes for (runtime)…

Software Engineering · Computer Science 2020-08-18 Lucas Sakizloglou , Sona Ghahremani , Matthias Barkowsky , Holger Giese

Real-time processing of data streams emanating from sensors is becoming a common task in Internet of Things scenarios. The key implementation goal consists in efficiently handling massive incoming data streams and supporting advanced data…

Databases · Computer Science 2017-05-17 Xiangnan Ren , Olivier Curé

Under several emerging application scenarios, such as in smart cities, operational monitoring of large infrastructure, wearable assistance, and Internet of Things, continuous data streams must be processed under very short delays. Several…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-12-05 Marcos Dias de Assuncao , Alexandre da Silva Veith , Rajkumar Buyya

Elasticity is highly desirable for stream processing systems to guarantee low latency against workload dynamics, such as surges in data arrival rate and fluctuations in data distribution. Existing systems achieve elasticity following a…

Databases · Computer Science 2017-11-06 Li Wang , Tom Z. J. Fu , Richard T. B. Ma , Marianne Winslett , Zhenjie Zhang

The requirements for OLTP database systems are becoming ever more demanding. Domains such as finance and computer games increasingly mandate that developers be able to encode complex application logic and control transaction latencies in…

Databases · Computer Science 2018-05-14 Vivek Shah , Marcos Antonio Vaz Salles

Human fallibility, unpredictable operating environments, and the heterogeneity of hardware devices are driving the need for software to be able to adapt as seen in the Internet of Things or telecommunication networks. Unfortunately,…

Programming Languages · Computer Science 2021-05-17 Paul Harvey , Simon Fowler , Ornela Dardha , Simon J. Gay

As more applications are being moved to the Cloud thanks to serverless computing, it is increasingly necessary to support the native life cycle execution of those applications in the data center. But existing cloud orchestration systems…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-06-23 Aitor Arjona , Pedro García-López , Josep Sampé , Aleksander Slominski , Lionel Villard

Streaming analysis is widely used in cloud as well as edge infrastructures. In these contexts, fine-grained application performance can be based on accurate modeling of streaming operators. This is especially beneficial for computationally…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-11-30 Hannaneh Najdataei , Vincenzo Gulisano , Alessandro V. Papadopoulos , Ivan Walulya , Marina Papatriantafilou , Philippas Tsigas

When developing smart home systems, developers integrate and compose smart devices and software applications. Because of their diversity and heterogeneity, developers usually encounter many problems. In this paper, we present a runtime…

Software Engineering · Computer Science 2017-07-28 Kaidong Wu , Xiao He , Xing Chen , Gang Huang

An architectural approach to self-adaptive systems involves runtime change of system configuration (i.e., the system's components, their bindings and operational parameters) and behaviour update (i.e., component orchestration). Thus,…

Software Engineering · Computer Science 2015-10-23 Victor Braberman , Nicolas D'Ippolito , Jeff Kramer , Daniel Sykes , Sebastian Uchitel

We investigate the notion of orchestrated compliance for client/server interactions in the context of session contracts. Devising the notion of orchestrator in such a context makes it possible to have orchestrators with unbounded buffering…

Logic in Computer Science · Computer Science 2015-08-21 Franco Barbanera , Steffen van Bakel , Ugo de'Liguoro

Modern software engineers operate across 5-10 disconnected tools daily: GitHub, GitLab, Jira, Slack, calendar applications, CI dashboards, AI coding assistants, and container platforms. This fragmentation creates cognitive overhead that…

Software Engineering · Computer Science 2026-04-21 Happy Bhati

This paper presents a stream-oriented architecture for structuring cluster applications. Clusters that run applications based on this architecture can scale to tenths of thousands of nodes with significantly less performance loss or…

Distributed, Parallel, and Cluster Computing · Computer Science 2007-05-23 Tassos S. Argyros , David R. Cheriton

Web applications are on the rise and rapidly evolve into more and more mature replacements for their native counterparts. This disruptive trend is mainly driven by the attainment of platform-independence and instant deployability. On top of…

Cryptography and Security · Computer Science 2020-10-20 David Goltzsche , Tim Siebels , Lennard Golsch , Rüdiger Kapitza

Maximizing parallelism level in applications can be achieved by minimizing overheads due to load imbalances and waiting time due to memory latencies. Compiler optimization is one of the most effective solutions to tackle this problem. The…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-03-29 Zahra Khatami , Hartmut Kaiser , J. Ramanujam

Edge computing seeks to enable applications with strict latency requirements by utilizing compute resources deployed closer to the users. The diverse, dynamic, and constrained nature of edge infrastructures necessitates a flexible…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-07-05 Giovanni Bartolomeo , Mehdi Yosofie , Simon Bäurle , Oliver Haluszczynski , Nitinder Mohan , Jörg Ott