English
Related papers

Related papers: PROOF as a Service on the Cloud: a Virtual Analysi…

200 papers

Cloud computing recently developed into a viable alternative to on-premises systems for executing high-performance computing (HPC) applications. With the emergence of new vendors and hardware options, there is now a growing need to…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-12-14 Mohammad Mohammadi , Timur Bazhirov

In the rapidly evolving landscape of 5G technology, the adoption of cloud-based infrastructure for the deployment of 5G services has become increasingly common. Using a service-based architecture, critical 5G components, such as the Access…

Cryptography and Security · Computer Science 2025-10-06 Al Nahian Bin Emran , Rajendra Upadhyay , Rajendra Paudyal , Lisa Donnan , Duminda Wijesekera

At present moment, there is a great interest in development of information systems operating in cloud infrastructures. Generally, many of tasks remain unresolved such as tasks of optimization of large databases in a hybrid cloud…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-09-17 Evgeniy Pluzhnik , Evgeny Nikulchev , Simon Payain

Fog computing is an emerging computing paradigm that uses processing and storage capabilities located at the edge, in the cloud, and possibly in between. Testing and benchmarking fog applications, however, is hard since runtime…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-05-12 Jonathan Hasenburg , Martin Grambow , David Bermbach

Fault-tolerance techniques depend on replication to enhance availability, albeit at the cost of increased infrastructure costs. This results in a fundamental trade-off: Fault-tolerant services must satisfy given availability and performance…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-06-16 Rasha Faqeh , Andrè Martin , Valerio Schiavoni , Pramod Bhatotia , Pascal Felber , Christof Fetzer

Function-as-a-Service (FaaS) has become a central paradigm in serverless cloud computing, yet optimizing FaaS deployments remains challenging. Using function fusion, multiple functions can be combined into a single deployment unit, which…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-01-19 Niklas Kowallik , Trever Schirmer , David Bermbach

The rapid evolution of cloud-native applications, characterized by dynamic, interconnected services, presents significant challenges for maintaining trustworthy and auditable systems, especially in sensitive contexts, such as finance or…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-10-18 Sebastian Werner , Sepideh Masoudi , Fernando Castillo , Fabian Piper , Jonathan Heiss

Network Function Virtualization (NFV) is a promising technology that promises to significantly reduce the operational costs of network services by deploying virtualized network functions (VNFs) to commodity servers in place of dedicated…

Networking and Internet Architecture · Computer Science 2016-04-06 Xiaoke Wang , Chuan Wu , Franck Le , Alex Liu , Zongpeng Li , Francis Lau

Reliable and trustworthy evaluation of algorithms is a challenging process. Firstly, each algorithm has its strengths and weaknesses, and the selection of test instances can significantly influence the assessment process. Secondly, the…

Computers and Society · Computer Science 2018-07-18 Szymon Wasik , Maciej Antczak , Jan Badura , Artur Laskowski

The applications that are deployed in the cloud to provide services to the users encompass a large number of interconnected dependent cloud components. Multiple identical components are scheduled to run concurrently in order to handle…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-11-12 Chinmaya Kumar Dehury , Prasan Kumar Sahoo , Bharadwaj Veeravalli

Cloud computing provides a great opportunity for scientists, as it enables large-scale experiments that cannot are too long to run on local desktop machines. Cloud-based computations can be highly parallel, long running and data-intensive,…

Software Engineering · Computer Science 2016-12-07 Maria Spichkova , Heinz W. Schmidt , Ian E. Thomas , Iman I. Yusuf , Steve Androulakis , Grischa R. Meyer

The security and decentralization of Proof-of-Work (PoW) have been well-tested in existing blockchain systems. However, its tremendous energy waste has raised concerns about sustainability. Proof-of-Useful-Work (PoUW) aims to redirect the…

Cryptography and Security · Computer Science 2025-12-16 Weihang Cao , Mustafa Doger , Sennur Ulukus

Multi-cloud computing is a promising paradigm to support very large scale world wide distributed applications. Multi-cloud computing is the usage of multiple, independent cloud environments, which assumed no priori agreement between cloud…

Software Engineering · Computer Science 2014-07-09 Fawaz Paraiso , Philippe Merle , Lionel Seinturier

Deployment of Network Function Virtualization (NFV) over multiple clouds accentuates its advantages like the flexibility of virtualization, proximity to customers and lower total cost of operation. However, NFV over multiple clouds has not…

Networking and Internet Architecture · Computer Science 2019-03-29 Lav Gupta , M. Samaka , Raj Jain , Aiman Erbad , Deval Bhamare , H. Anthony Chan

We present Proof-of-Perception (PoP), a tool-using framework that casts multimodal reasoning as an executable graph with explicit reliability guarantees. Each perception or logic node outputs a conformal set, yielding calibrated, stepwise…

Computer Vision and Pattern Recognition · Computer Science 2026-03-03 Arya Fayyazi , Haleh Akrami

Scientific collaborations require a strong computing infrastructure to successfully process and analyze data. While large-scale collaborations have access to resources such as Analysis Facilities, small-scale collaborations often lack the…

Cloud computing has emerged as a popular computing paradigm in recent years. However, today's cloud computing architectures often lack support for computer forensic investigations. Analyzing various logs (e.g., process logs, network logs)…

Cryptography and Security · Computer Science 2013-02-27 Shams Zawoad , Amit Kumar Dutta , Ragib Hasan

Proofs of Retrievability (PoRs) are protocols which allow a client to store data remotely and to efficiently ensure, via audits, that the entirety of that data is still intact. A dynamic PoR system also supports efficient retrieval and…

Cryptography and Security · Computer Science 2021-06-09 Gaspard Anthoine , Jean-Guillaume Dumas , Michael Hanling , Mélanie de Jonghe , Aude Maignan , Clément Pernet , Daniel Roche

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

Cloud simulation environments today are largely employed to model and simulate complex systems for remote accessibility and variable capacity requirements. In this regard, scalability issues in Modeling and Simulation (M\&S) computational…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-02-23 José L. Risco-Martín , Kevin Henares , Saurabh Mittal , Luis F. Almendras , Katzalin Olcoz