English
Related papers

Related papers: Reliable State Machines: A Framework for Programmi…

200 papers

Zero Trust is a novel cybersecurity model that focuses on continually evaluating trust to prevent the initiation and horizontal spreading of attacks. A cloud-native Service Mesh is an example of Zero Trust Architecture that can filter out…

Cryptography and Security · Computer Science 2022-10-25 Constantin Adam , Abdulhamid Adebayo , Hubertus Franke , Edward Snible , Tobin Feldman-Fitzthum , James Cadden , Nerla Jean-Louis

Recent efforts to design and develop Cloud technologies focus on defining novel methods, policies and mechanisms for efficiently managing Cloud infrastructures. One key challenge potential Cloud customers have before renting resources is to…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-02-11 Dr. Rahul Malhotra , Prince Jain

With the rapid integration of Machine Learning (ML) in business applications and processes, it is crucial to ensure the quality, reliability and reproducibility of such systems. We suggest a methodical approach towards ML system quality…

Machine Learning · Computer Science 2025-02-26 Angelantonio Castelli , Georgios Christos Chouliaras , Dmitri Goldenberg

AI agents are increasingly used to diagnose and mitigate failures in production systems, known as agentic Site Reliability Engineering (SRE). Current SRE benchmarks are limited to oversimplistic SRE tasks and are unfortunately hard to…

Artificial Intelligence · Computer Science 2026-05-14 Jackson Clark , Yiming Su , Saad Mohammad Rafid Pial , Yifang Tian , Lily Gniedziejko , Hans-Arno Jacobsen , Yinfang Chen , Tianyin Xu

Ensuring the reliability of cloud systems is critical for both cloud vendors and customers. Cloud systems often rely on virtualization techniques to create instances of hardware resources, such as virtual machines. However, virtualization…

Software Engineering · Computer Science 2023-08-16 Jinyang Liu , Zhihan Jiang , Jiazhen Gu , Junjie Huang , Zhuangbin Chen , Cong Feng , Zengyin Yang , Yongqiang Yang , Michael R. Lyu

At our behest or otherwise, while our software is being executed, a huge variety of design assumptions is continuously matched with the truth of the current condition. While standards and tools exist to express and verify some of these…

Software Engineering · Computer Science 2016-05-09 Vincenzo De Florio

This paper proposes Relational Similarity Machines (RSM): a fast, accurate, and flexible relational learning framework for supervised and semi-supervised learning tasks. Despite the importance of relational learning, most existing methods…

Machine Learning · Statistics 2016-08-03 Ryan A. Rossi , Rong Zhou , Nesreen K. Ahmed

Software bugs in cloud management systems often cause erratic behavior, hindering detection, and recovery of failures. As a consequence, the failures are not timely detected and notified, and can silently propagate through the system. To…

Software Engineering · Computer Science 2022-03-09 Domenico Cotroneo , Luigi De Simone , Pietro Liguori , Roberto Natella , Angela Scibelli

Cloud computing provides on-demand access to affordable hardware (multi-core CPUs, GPUs, disks, and networking equipment) and software (databases, application servers and data processing frameworks) platforms with features such as…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-11-17 Khalid Alhamazani , Rajiv Ranjan , Prem Prakash Jayaraman , Karan Mitra , Chang Liu , Fethi Rabhi , Dimitrios Georgakopoulos , Lizhe Wang

As distributed systems grow in scale and complexity, the need for flexible automation of systems management functions also grows. We outline a framework for building tools that provide distributed, scalable, declarative, modular, and…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-04-28 J. Lowell Wofford

Runtime assurance (RTA) addresses the problem of keeping an autonomous system safe while using an untrusted (or experimental) controller. This can be done via logic that explicitly switches between the untrusted controller and a safety…

Logic in Computer Science · Computer Science 2023-06-08 Kristina Miller , Christopher K. Zeitler , William Shen , Mahesh Viswanathan , Sayan Mitra

It is increasingly common to outsource network functions (NFs) to the cloud. However, no cloud providers offer NFs-as-a-Service (NFaaS) that allows users to run custom NFs. Our work addresses how a cloud provider can offer NFaaS. We use the…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-10-18 Arjun Singhvi , Junaid Khalid , Aditya Akella , Sujata Banerjee

The core of the computer business now offers subscription-based on-demand services with the help of cloud computing. We may now share resources among multiple users by using virtualization, which creates a virtual instance of a computer…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-12-13 Sakshi Chhabra , Ashutosh Kumar Singh

Clouds gather a vast volume of telemetry from their networked systems which contain valuable information that can help solve many of the problems that continue to plague them. However, it is hard to extract useful information from such raw…

Networking and Internet Architecture · Computer Science 2020-04-28 Behnaz Arzani , Bita Rouhani

While the applications and demands of Machine learning (ML) systems in mental health are growing, there is little discussion nor consensus regarding a uniquely challenging aspect: building security methods and requirements into these ML…

Computers and Society · Computer Science 2020-08-19 Helen Jiang , Erwen Senge

Security issues are the most challenging problems in cloud computing environments as an emerging technology. Regarding to this importance, an efficient and reliable user authentication and data protection model has been presented in this…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-08-10 Mohammad Ahmadi , Mostafa Vali , Farez Moghaddam , Aida Hakemi , Kasra Madadipouya

Active replication following the state machine replication (SMR) approach is a way to make existing systems and services more reliable and fault-tolerant. The additional communication overhead has a negative impact on the system's…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-08-18 Johannes Köstler , Hans P. Reiser

Elasticity is critical for today's cloud services, which must be able to quickly adapt to dynamically changing load conditions and resource availability. We introduce FRAPPE, a new consistent replication platform aiming at improving…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-04-21 Vita Bortnikov , Gregory Chockler , Dmitri Perelman , Alexey Roytman , Shlomit Shachor , lya Shnayderman

Serverless computing, also known as Functions-as-a-Service, is a recent paradigm aimed at simplifying the programming of cloud applications. The idea is that developers design applications in terms of functions, which are then deployed on a…

Programming Languages · Computer Science 2019-05-02 Maurizio Gabbrielli , Saverio Giallorenzo , Ivan Lanese , Fabrizio Montesi , Marco Peressotti , Stefano Pio Zingaro

Developing accurate and extendable performance models for serverless platforms, aka Function-as-a-Service (FaaS) platforms, is a very challenging task. Also, implementation and experimentation on real serverless platforms is both costly and…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-02-18 Nima Mahmoudi , Hamzeh Khazaei