English
Related papers

Related papers: A Survey on Workflow Satisfiability, Resiliency, a…

200 papers

Software supply chain attacks have increased exponentially since 2020. The primary attack vectors for supply chain attacks are through: (1) software components; (2) the build infrastructure; and (3) humans (a.k.a software practitioners).…

Cryptography and Security · Computer Science 2025-09-11 Laurie Williams , Sammy Migues

LLMs are increasingly used for end-user task planning, yet their black-box nature limits users' ability to ensure reliability and control. While recent systems incorporate verification techniques, it remains unclear how users can…

Artificial Intelligence · Computer Science 2026-05-05 Christine P Lee , Xinyu Jessica Wang , Aws Albarghouthi , David Porfirio , Bilge Mutlu

Context: DevOps has become one of the fastest-growing software development paradigms in the industry. However, this trend has presented the challenge of ensuring secure software delivery while maintaining the agility of DevOps. The efforts…

Software Engineering · Computer Science 2023-05-02 Roshan N. Rajapakse , Mansooreh Zahedi , M. Ali Babar , Haifeng Shen

Task graphs provide a simple way to describe scientific workflows (sets of tasks with dependencies) that can be executed on both HPC clusters and in the cloud. An important aspect of executing such graphs is the used scheduling algorithm.…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-04-18 Jakub Beránek , Stanislav Böhm , Vojtěch Cima

With the advent of open source software, a veritable treasure trove of previously proprietary software development data was made available. This opened the field of empirical software engineering research to anyone in academia. Data that is…

Software Engineering · Computer Science 2022-04-19 Adam Tutko , Austin Z. Henley , Audris Mockus

We present a workflow manager for the flexible creation and customisation of NLP processing pipelines. The workflow manager addresses challenges in interoperability across various different NLP tasks and hardware-based resource usage. Based…

Computation and Language · Computer Science 2020-04-30 Julián Moreno-Schneider , Peter Bourgonje , Florian Kintzel , Georg Rehm

The rising popularity of computational workflows is driven by the need for repetitive and scalable data processing, sharing of processing know-how, and transparent methods. As both combined records of analysis and descriptions of processing…

Constraint satisfaction problem (CSP) is a well-studied combinatorial search problem, in which we are asked to find an assignment of values to given variables so as to satisfy all of given constraints. We study a reconfiguration variant of…

Data Structures and Algorithms · Computer Science 2018-12-31 Tatsuhiko Hatanaka , Takehiro Ito , Xiao Zhou

Control-flow attestation unifies the worlds of control-flow integrity and platform attestation by measuring and reporting a target's run-time behaviour to a verifier. Trust assurances in the target are provided by testing whether its…

Cryptography and Security · Computer Science 2024-12-05 Zhanyu Sha , Carlton Shepherd , Amir Rafi , Konstantinos Markantonakis

The paper presents a description of some point of view of different authors related to the failures and exceptions that appear in workflows, as a direct consequence of unavailability of resources involved in the workflow. Each of these…

Software Engineering · Computer Science 2009-03-03 Alexandra Fortis , Alexandru Cicortas , Victoria Iordan

Blockchain technology, originally popularized by cryptocurrencies, has been proposed as an infrastructure technology with applications in many areas of business management. Blockchains provide an immutable record of transactions, which…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-10-30 Joerg Evermann , Henry Kim

We consider the design of wireless queueing network control policies with particular focus on combining stability with additional application-dependent requirements. Thereby, we consequently pursue a cost function based approach that…

Information Theory · Computer Science 2017-07-19 Martin Kasparick , Gerhard Wunder

When AI systems are granted the agency to take impactful actions in the real world, there is an inherent risk that these systems behave in ways that are harmful. Typically, humans specify constraints on the AI system to prevent harmful…

Human-Computer Interaction · Computer Science 2022-11-09 Travis Mandel , Jahnu Best , Randall H. Tanaka , Hiram Temple , Chansen Haili , Kayla Schlectinger , Roy Szeto

Increased adoption of scientific workflows in the community has urged for the development of multi-tenant platforms that provide these workflow executions as a service. As a result, Workflow-as-a-Service (WaaS) concept has been created by…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-06-25 Muhammad H. Hilman , Maria A. Rodriguez , Rajkumar Buyya

To improve customer experience, datacenter operators offer support for simplifying application and resource management. For example, running workloads of workflows on behalf of customers is desirable, but requires increasingly more…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-11-27 Laurens Versluis , Mihai Neacşu , Alexandru Iosup

System safety refers to a diverse engineering discipline assessing and improving various aspects of safety in socio-technical systems and their software-intensive sub-systems. While system safety has been a vital area of applied research…

Software Engineering · Computer Science 2018-12-21 Mario Gleirscher , Anne Nyokabi

The Workflows Community Summit gathered 111 participants from 18 countries to discuss emerging trends and challenges in scientific workflows, focusing on six key areas: time-sensitive workflows, AI-HPC convergence, multi-facility workflows,…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-10-22 Rafael Ferreira da Silva , Deborah Bard , Kyle Chard , Shaun de Witt , Ian T. Foster , Tom Gibbs , Carole Goble , William Godoy , Johan Gustafsson , Utz-Uwe Haus , Stephen Hudson , Shantenu Jha , Laila Los , Drew Paine , Frédéric Suter , Logan Ward , Sean Wilkinson , Marcos Amaris , Yadu Babuji , Jonathan Bader , Riccardo Balin , Daniel Balouek , Sarah Beecroft , Khalid Belhajjame , Rajat Bhattarai , Wes Brewer , Paul Brunk , Silvina Caino-Lores , Henri Casanova , Daniela Cassol , Jared Coleman , Taina Coleman , Iacopo Colonnelli , Anderson Andrei Da Silva , Daniel de Oliveira , Pascal Elahi , Nour Elfaramawy , Wael Elwasif , Brian Etz , Thomas Fahringer , Wesley Ferreira , Rosa Filgueira , Jacob Fosso Tande , Luiz Gadelha , Andy Gallo , Daniel Garijo , Yiannis Georgiou , Philipp Gritsch , Patricia Grubel , Amal Gueroudji , Quentin Guilloteau , Carlo Hamalainen , Rolando Hong Enriquez , Lauren Huet , Kevin Hunter Kesling , Paula Iborra , Shiva Jahangiri , Jan Janssen , Joe Jordan , Sehrish Kanwal , Liliane Kunstmann , Fabian Lehmann , Ulf Leser , Chen Li , Peini Liu , Jakob Luettgau , Richard Lupat , Jose M. Fernandez , Ketan Maheshwari , Tanu Malik , Jack Marquez , Motohiko Matsuda , Doriana Medic , Somayeh Mohammadi , Alberto Mulone , John-Luke Navarro , Kin Wai Ng , Klaus Noelp , Bruno P. Kinoshita , Ryan Prout , Michael R. Crusoe , Sashko Ristov , Stefan Robila , Daniel Rosendo , Billy Rowell , Jedrzej Rybicki , Hector Sanchez , Nishant Saurabh , Sumit Kumar Saurav , Tom Scogland , Dinindu Senanayake , Woong Shin , Raul Sirvent , Tyler Skluzacek , Barry Sly-Delgado , Stian Soiland-Reyes , Abel Souza , Renan Souza , Domenico Talia , Nathan Tallent , Lauritz Thamsen , Mikhail Titov , Benjamin Tovar , Karan Vahi , Eric Vardar-Irrgang , Edite Vartina , Yuandou Wang , Merridee Wouters , Qi Yu , Ziad Al Bkhetan , Mahnoor Zulfiqar

Identity-based software signing tools aim to make software artifact provenance verifiable while reducing the operational burden of long-lived key management. However, there is limited cross-tool longitudinal evidence about which usability…

Software Engineering · Computer Science 2026-03-19 Kelechi G. Kalu , Hieu Tran , Santiago Torres-Arias , Sooyeon Jeong , James C. Davis

Many organizations were forced to quickly transition to the work-from-anywhere (WFA) model as a necessity to continue with their operations and remain in business despite the restrictions imposed during the COVID-19 pandemic. Many decisions…

Cryptography and Security · Computer Science 2025-07-01 Mohammed Mahyoub , Ashraf Matrawy , Kamal Isleem , Olakunle Ibitoye

Through legislation and technical advances users gain more control over how their data is processed, and they expect online services to respect their privacy choices and preferences. However, data may be processed for many different…

Databases · Computer Science 2024-03-19 Dorota Filipczuk , Enrico H. Gerding , George Konstantinidis
‹ Prev 1 3 4 5 6 7 10 Next ›