English
Related papers

Related papers: Specifying and Model Checking Workflows of Single …

200 papers

With the establishment of cloud computing as the environment of choice for most modern applications, auto-scaling is an economic matter of great importance. For applications like stream computing that process ever changing amounts of data,…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-06-18 Andre Abrantes D. P. Souza , Marco A. S. Netto

Reducing network latency in mobile applications is an effective way of improving the mobile user experience and has tangible economic benefits. This paper presents PALOMA, a novel client-centric technique for reducing the network latency by…

Software Engineering · Computer Science 2018-10-23 Yixue Zhao , Marcelo Schmitt Laser , Yingjun Lyu , Nenad Medvidovic

GraphFlow is a visual workflow system designed to improve the reliability of agentic AI automation in multi-step, mission-critical processes. In these workflows, small errors compound rapidly: under an idealized model of independent steps,…

Artificial Intelligence · Computer Science 2026-05-15 Drewry H. Morris , Luis Valles , Reza Hosseini Ghomi

Text-Attributed Graphs (TAGs) enhance graph structures with natural language descriptions, enabling detailed representation of data and their relationships across a broad spectrum of real-world scenarios. Despite the potential for deeper…

Machine Learning · Computer Science 2024-05-28 Zheng Zhang , Yuntong Hu , Bo Pan , Chen Ling , Liang Zhao

Authoring survey or review articles still requires significant tedious manual effort, despite many advancements in research knowledge management having the potential to improve efficiency, reproducibility, and reuse. However, these…

Digital Libraries · Computer Science 2024-10-23 Tim Wittenborg , Oliver Karras , Sören Auer

This paper proposes an introduction to one of the newest modelling methods, an executable model based on workflows. We present the terminology for some basic workflow patterns, as described in the Workflow Management Coalition Terminology…

Software Engineering · Computer Science 2009-03-03 Alexandra Fortis , Florin Fortis

Scientific Workflow Systems (SWSs) are advanced software frameworks that drive modern research by orchestrating complex computational tasks and managing extensive data pipelines. These systems offer a range of essential features, including…

Software Engineering · Computer Science 2025-06-26 Khairul Alam , Banani Roy , Chanchal K. Roy , Kartik Mittal

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

In this paper we present the Simple-ML framework that we develop to support efficient configuration, robustness and reusability of data analytics workflows through the adoption of semantic technologies. We present semantic data models that…

In this paper, we examine the problem of a single provider offering multiple types of service level agreements, and the implications thereof. In doing so, we propose a simple model for machine-readable service level agreements (SLAs) and…

Software Engineering · Computer Science 2014-07-29 Christopher C. Lamb , Gregory L. Heileman

Modern research heavily relies on software. A significant challenge researchers face is understanding the complex software used in specific research fields. We target two scenarios in this context, namely long onboarding times for newcomers…

Software Engineering · Computer Science 2026-04-14 Adrian Bajraktari , Andreas Vogelsang

Modeling and analysis of interactions among services is a crucial issue in Service-Oriented Computing. Composing Web services is a complicated task which requires techniques and tools to verify that the new system will behave correctly. In…

Software Engineering · Computer Science 2010-09-21 Gwen Salaün

The article presents an approach to automation of business processes by means of a consolidated model describing a class of processes. Rules and examples for building a consolidated model are given. The model is validated through…

Software Engineering · Computer Science 2014-03-13 Stanka Hadzhikoleva , Emil Hadzhikolev

Data annotation is an important and necessary task for all NLP applications. Designing and implementing a web-based application that enables many annotators to annotate and enter their input into one central database is not a trivial task.…

Computation and Language · Computer Science 2019-10-07 Fahad AlGhamdi , Mona Diab

Stream-based monitoring is a real-time safety assurance mechanism for complex cyber-physical systems such as unmanned aerial vehicles. In this context, a monitor aggregates streams of input data from sensors and other sources to give…

Programming Languages · Computer Science 2025-09-09 Florian Kohn , Arthur Correnson , Jan Baumeister , Bernd Finkbeiner

Agents aspire to eliminate the need for task-specific prompt crafting through autonomous reason-act-observe loops. Still, they are commonly instructed to follow a task-specific plan for guidance, e.g., to resolve software issues following…

Software Engineering · Computer Science 2026-04-29 Shuyang Liu , Saman Dehghan , Jatin Ganhotra , Martin Hirzel , Reyhaneh Jabbarvand

Functions-as-a-Service (FaaS) is a Serverless Cloud paradigm where a platform manages the execution scheduling (e.g., resource allocation, runtime environments) of stateless functions. Recent developments demonstrate the benefits of using…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-07-22 Giuseppe De Palma , Saverio Giallorenzo , Jacopo Mauro , Matteo Trentin , Gianluigi Zavattaro

The advancement of Large Language Models (LLMs) has led to significant improvements in various service domains, including search, recommendation, and chatbot applications. However, applying state-of-the-art (SOTA) research to industrial…

Computation and Language · Computer Science 2025-05-30 Chiwan Park , Wonjun Jang , Daeryong Kim , Aelim Ahn , Kichang Yang , Woosung Hwang , Jihyeon Roh , Hyerin Park , Hyosun Wang , Min Seok Kim , Jihoon Kang

Recent advancements in language models have demonstrated remarkable improvements in various natural language processing (NLP) tasks such as web navigation. Supervised learning (SL) approaches have achieved impressive performance while…

Machine Learning · Computer Science 2024-05-31 Lucas-Andreï Thil , Mirela Popa , Gerasimos Spanakis

AI agents execute tens to hundreds of chained LLM calls per task, yet GPU schedulers treat each call as independent, discarding gigabytes of intermediate state between steps and inflating end-to-end latency by 3-8x. We argue that this…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-05-04 Dongxin Guo , Jikun Wu , Siu Ming Yiu