English
Related papers

Related papers: Towards a Formal Model for Composable Container Sy…

200 papers

Bigraphical Reactive Systems (BRSs) are a graph-rewriting formalism describing systems evolving in two dimensions: spatially, e.g. a person in a room, and non-spatially, e.g. mobile phones communicating regardless of location. Despite use…

Logic in Computer Science · Computer Science 2025-05-21 Maram Albalwe , Blair Archibald , Michele Sevegnani

Recent developments in the commercial open source community have catalysed the use of Linux containers for scalable deployment of web-based applications to the cloud. Scientific software can be containerized with dependencies, configuration…

Software Engineering · Computer Science 2015-09-30 Robert Nagler , David Bruhwiler , Paul Moeller , Stephen Webb

This paper proposes an architectural framework for the efficient orchestration of containers in cloud environments. It centres around resource scheduling and rescheduling policies as well as autoscaling algorithms that enable the creation…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-12-26 Rajkumar Buyya , Maria A. Rodriguez , Adel Nadjaran Toosi , Jaeman Park

The cloud computing landscape is rapidly expanding and growing in complexity. It has witnessed the emergence of Cloud Computing as a widely adopted model for efficiently processing large volumes of data by harnessing clusters of commodity…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-03-28 Prathamesh Muzumdar , Amol Bhosale , Ganga Prasad Basyal , George Kurian

Containerization is a lightweight application virtualization technology, providing high environmental consistency, operating system distribution portability, and resource isolation. Existing mainstream cloud service providers have…

Machine Learning · Computer Science 2021-08-23 Zhiheng Zhong , Minxian Xu , Maria Alejandra Rodriguez , Chengzhong Xu , Rajkumar Buyya

Containers are standalone, self-contained units that package software and its dependencies together. They offer lightweight performance isolation, fast and flexible deployment, and fine-grained resource sharing. They have gained popularity…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-12-04 Maria A. Rodriguez , Rajkumar Buyya

Software design patterns present general code solutions to common software design problems. Modern software systems rely heavily on containers for running their constituent service components. Yet, despite the prevalence of ready-to-use…

Software Engineering · Computer Science 2024-05-09 Kalvin Eng , Abram Hindle , Eleni Stroulia

The design and evaluation of data-driven network intrusion detection methods are currently held back by a lack of adequate data, both in terms of benign and attack traffic. Existing datasets are mostly gathered in isolated lab environments…

Cryptography and Security · Computer Science 2020-11-13 Henry Clausen , Robert Flood , David Aspinall

Containers, enabling lightweight environment and performance isolation, fast and flexible deployment, and fine-grained resource sharing, have gained popularity in better application management and deployment in addition to hardware…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-11-06 Maria A. Rodriguez , Rajkumar Buyya

In this article we look at the potential of cloud containers and we provide some guidelines for companies and organisations that are starting to look at how to migrate their legacy infrastructure to something modern, reliable and scalable.…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-11-04 Damiano Perri , Marco Simonetti , Sergio Tasso , Federico Ragni , Osvaldo Gervasi

In this survey we describe a recently-developed technique for bounding the number (and controlling the typical structure) of finite objects with forbidden substructures. This technique exploits a subtle clustering phenomenon exhibited by…

Combinatorics · Mathematics 2018-01-16 József Balogh , Robert Morris , Wojciech Samotij

Virtualization is a promising technology that has facilitated cloud computing to become the next wave of the Internet revolution. Adopted by data centers, millions of applications that are powered by various virtual machines improve the…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-05-23 Ying Mao , Jenna Oak , Anthony Pompili , Daniel Beer , Tao Han , Peizhao Hu

Context: Container orchestration tools supporting infrastructure-as-code allow new forms of collaboration between developers and operatives. Still, their text-based nature permits naive mistakes and is more difficult to read as complexity…

Software Engineering · Computer Science 2022-07-20 Bruno Piedade , João Pedro Dias , Filipe F. Correia

Physical spaces are increasingly dense with networked devices, promising seamless coordination and ambient intelligence. Yet today, cloud-first architectures force all communication through wide-area networks regardless of physical…

Networking and Internet Architecture · Computer Science 2025-10-06 Josh Millar , Ryan Gibb , Roy Ang , Hamed Haddadi , Anil Madhavapeddy

Composing systems is a fundamental concept in modern control systems, yet it remains challenging to formally analyze how controllers designed for individual subsystems can differ from controllers designed for the composition of those…

Systems and Control · Electrical Eng. & Systems 2025-06-23 Baike She , Tyler Hanks , James Fairbanks , Matthew Hale

Complex information-processing systems, for example quantum circuits, cryptographic protocols, or multi-player games, are naturally described as networks composed of more basic information-processing systems. A modular analysis of such…

Quantum Physics · Physics 2017-04-27 Christopher Portmann , Christian Matt , Ueli Maurer , Renato Renner , Björn Tackmann

Cloud computing has radically changed the way organisations operate their software by allowing them to achieve high availability of services at affordable cost. Containerized microservices is an enabling technology for this change, and…

Traditionally, applications that are used in large and small enterprises were deployed on "bare metal" servers installed with operating systems. Recently, the use of multiple virtual machines (VMs) on the same physical server was adopted…

Cryptography and Security · Computer Science 2021-11-24 Ann Yi Wong , Eyasu Getahun Chekole , Martin Ochoa , Jianying Zhou

Microservice architecture has become a dominant paradigm in application development due to its advantages of being lightweight, flexible, and resilient. Deploying microservice applications in the container-based cloud enables fine-grained…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-11-05 Zhengxin Fang , Hui Ma , Gang Chen , Rajkumar Buyya

The Rocker Project provides widely used Docker images for R across different application scenarios. This article surveys downstream projects that build upon the Rocker Project images and presents the current state of R packages for managing…

‹ Prev 1 2 3 10 Next ›