English
Related papers

Related papers: Synthesizing Configuration Tactics for Exercising …

200 papers

Serverless edge computing adopts an event-based paradigm that provides back-end services on an as-used basis, resulting in efficient resource utilization. To improve the end-to-end latency and revenue, service providers need to optimize the…

Networking and Internet Architecture · Computer Science 2023-10-09 Chen Chen , Manuel Herrera , Ge Zheng , Liqiao Xia , Zhengyang Ling , Jiangtao Wang

Many software systems offer configuration options to tailor their functionality and non-functional properties (e.g., performance). Often, users are interested in the (performance-)optimal configuration, but struggle to find it, due to…

Software Engineering · Computer Science 2019-12-02 Alexander Grebhahn , Norbert Siegmund , Sven Apel

Covert channels can be utilized to secretly deliver information from high privileged processes to low privileged processes in the context of a high-assurance computing system. In this case study, we investigate the possibility of covert…

Cryptography and Security · Computer Science 2015-08-24 Wolfgang Schmidt , Michael Hanspach , Jörg Keller

Recently, academics and the corporate sector have paid attention to serverless computing, which enables dynamic scalability and an economic model. In serverless computing, users only pay for the time they actually use resources, enabling…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-10-24 Muhammed Golec , Guneet Kaur Walia , Mohit Kumar , Felix Cuadrado , Sukhpal Singh Gill , Steve Uhlig

In modern era, the role of information system in organization has been taken many discussions. The models of information system are constantly updated. However, most of them can not face the changing world. This paper discusses an approach…

Other Computer Science · Computer Science 2012-12-11 Maria Elfida , Mahyuddin K. M. Nasution

We propose a number of heuristics that can be used for identifying when intransitive choice behaviour is likely to occur in choice situations. We also suggest two methods for avoiding undesired choice behaviour, namely transparent…

Artificial Intelligence · Computer Science 2014-04-15 Amir Konigsberg

In distributed computing environments, collaborative machine learning enables multiple clients to train a global model collaboratively. To preserve privacy in such settings, a common technique is to utilize frequent updates and…

Machine Learning · Computer Science 2025-01-24 Chia-Yuan Wu , Frank E. Curtis , Daniel P. Robinson

Most modern software systems (operating systems like Linux or Android, Web browsers like Firefox or Chrome, video encoders like ffmpeg, x264 or VLC, mobile and cloud applications, etc.) are highly-configurable. Hundreds of configuration…

Software Engineering · Computer Science 2019-06-10 Juliana Alves Pereira , Hugo Martin , Mathieu Acher , Jean-Marc Jézéquel , Goetz Botterweck , Anthony Ventresque

Public cloud serverless platforms have attracted a large user base due to their high scalability, plug-and-play deployment model, and pay-per-use billing. However, compared to virtual machines and container hosting services, modern…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-09-30 Changyuan Lin , Yuanzhi Ma , Mohammad Shahrad

Default configuration of various software applications often neglects security objectives. We tested the default configuration of TLS in dozen web and application servers. The results show that "secure by default" principle should be…

Cryptography and Security · Computer Science 2017-08-28 Martin Stanek

Many companies and organizations use firewalls to control the access to their network infrastructure. Firewalls are network security components which provide means to filter traffic within corporate networks, as well as to police incoming…

Cryptography and Security · Computer Science 2019-12-17 Frédéric Cuppens , Nora Cuppens-Boulahia , Joaquin Garcia-Alfaro

In software engineering, the meticulous configuration of software tools is crucial in ensuring optimal performance within intricate systems. However, the complexity inherent in selecting optimal configurations is exacerbated by the…

Software Engineering · Computer Science 2023-12-12 Jai Kannan

We present a new method for scaling automatic configuration of computer networks. The key idea is to relax the computationally hard search problem of finding a configuration that satisfies a given specification into an approximate objective…

Networking and Internet Architecture · Computer Science 2022-11-04 Luca Beurer-Kellner , Martin Vechev , Laurent Vanbever , Petar Veličković

Finding the optimally performing configuration of a software system for a given setting is often challenging. Recent approaches address this challenge by learning performance models based on a sample set of configurations. However, building…

Software Engineering · Computer Science 2017-09-12 Vivek Nair , Tim Menzies , Norbert Siegmund , Sven Apel

Enterprises are increasingly adopting serverless computing to enhance scalability, reduce costs, and improve efficiency. However, this shift introduces new responsibilities and necessitates a distinct set of skills for practitioners. This…

Software Engineering · Computer Science 2024-11-18 Muhammad Hamza , Vy Kauppinen , Muhammad Azeem Akbar , Wardah Naeem Awan , Kari Smolander

Many techniques were proposed for detecting software misconfigurations in cloud systems and for diagnosing unintended behavior caused by such misconfigurations. Detection and diagnosis are steps in the right direction: misconfigurations…

Software Engineering · Computer Science 2021-02-24 Yuanliang Zhang , Haochen He , Owolabi Legunsen , Shanshan Li , Wei Dong , Tianyin Xu

The rise of serverless computing provides an opportunity to rethink cloud security. We present an approach for securing serverless systems using a novel form of dynamic information flow control (IFC). We show that in serverless…

Programming Languages · Computer Science 2018-02-27 Kalev Alpernas , Cormac Flanagan , Sadjad Fouladi , Leonid Ryzhyk , Mooly Sagiv , Thomas Schmitz , Keith Winstein

We consider a set-up in which there are multiple servers and multiple clients in a large distributed computing system. Clients request servers to process jobs. Servers can only process one job in unit time. There is no coordinating agent to…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-10-18 Anindya S. Chakrabarti , Diptesh Ghosh

Elastic scaling is one of the central benefits provided by serverless platforms, and requires that they scale resource up and down in response to changing workloads. Serverless platforms scale-down resources by terminating previously…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-11-07 Kalev Alpernas , Aurojit Panda , Mooly Sagiv

Serverless computing is an approach to cloud computing that allows programmers to run serverless functions in response to external events. Serverless functions are priced at sub-second granularity, support transparent elasticity, and…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-08-05 Emily Herbert , Arjun Guha