English
Related papers

Related papers: DRAFT : Task System and Item Architecture (TSIA)

200 papers

Which tasks inside an enterprise workflow can a large-language-model agent reliably handle, and under what conditions? Most business process modeling frameworks still answer this at the activity level, even though a single activity can…

Computers and Society · Computer Science 2026-05-19 Mingjun Li , Xiaojun Ye

A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design. We develop a complete specification framework for real-time…

Formal Languages and Automata Theory · Computer Science 2023-07-14 Martijn A. Goorden , Kim G. Larsen , Axel Legay , Florian Lorber , Ulrik Nyman , Andrzej Wasowski

We present initial ideas for a programming paradigm based on simulation that is targeted towards applications of artificial intelligence (AI). The approach aims at integrating techniques from different areas of AI and is based on the idea…

Artificial Intelligence · Computer Science 2015-05-21 Jörg Pührer

A data structure is called history independent if its internal memory representation does not reveal the history of operations applied to it, only its current state. In this paper we study history independence for concurrent data…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-07-19 Hagit Attiya , Michael A. Bender , Martin Farach-Colton , Rotem Oshman , Noa Schiller

We propose here to look at how abstract a model of a usable system can be, but still say something useful and interesting, so this paper is an exercise in abstraction and formalisation, with usability-of-design as an example target use. We…

Human-Computer Interaction · Computer Science 2024-03-14 Steve Reeves

Software traceability is the process of establishing and maintaining relationships between artifacts in a software system. This process is crucial to many engineering processes, particularly for safety critical projects; however, it is…

Software Engineering · Computer Science 2023-06-21 Alberto D. Rodriguez , Katherine R. Dearstyne , Jane Cleland-Huang

The growing capabilities of large language models (LLMs) in instruction-following and context-understanding lead to the era of agents with numerous applications. Among these, task planning agents have become especially prominent in…

IUIs aim to incorporate intelligent automated capabilities in human computer interaction, where the net impact is a human-computer interaction that improves performance or usability in critical ways. It also involves designing and…

Human-Computer Interaction · Computer Science 2017-02-20 Daniel Sonntag

Neural architecture search has been shown to hold great promise towards the automation of deep learning. However in spite of its potential, neural architecture search remains quite costly. To this point, we propose a novel gradient-based…

Machine Learning · Computer Science 2019-02-18 Efi Kokiopoulou , Anja Hauth , Luciano Sbaiz , Andrea Gesmundo , Gabor Bartok , Jesse Berent

Developing complex engineered systems (CES) poses significant challenges for engineers, managers, designers, and businesspeople alike due to the inherent complexity of the systems and contexts involved. Furthermore, experts have expressed…

Multiagent Systems · Computer Science 2021-03-26 John Meluso , Jesse Austin-Breneman , James P. Bagrow , Laurent Hébert-Dufresne

Multi-task learning, as it is understood nowadays, consists of using one single model to carry out several similar tasks. From classifying hand-written characters of different alphabets to figuring out how to play several Atari games using…

Machine Learning · Computer Science 2019-03-25 Unai Garciarena , Alexander Mendiburu , Roberto Santana

Information technology system (ITS), informally, consists of hardware and software infrastructure (e.g., workstations, servers, laptops, installed software packages, databases, LANs, firewalls, etc.), along with physical and logical…

Cryptography and Security · Computer Science 2022-02-01 Ivan Kovačević , Stjepan Groš , Ante Đerek

A description is an entity that can be interpreted as true or false of an object, and using feature structures as descriptions accrues several computational benefits. In this paper, I create an explicit interpretation of a typed feature…

cmp-lg · Computer Science 2008-02-03 Paul John King

Task scheduling problem in heterogeneous systems is the process of allocating tasks of an application to heterogeneous processors interconnected by high-speed networks, so that minimizing the finishing time of application as much as…

Distributed, Parallel, and Cluster Computing · Computer Science 2011-12-14 Masoomeh sanei , Nasrollah Moghaddam Charkari

The Internet of Things (IoT) is growing fast. In 2018, there was approximately one connected device per person on earth and the number has been growing ever since. The devices interact with the environment via different modalities at the…

Programming Languages · Computer Science 2022-12-09 Mart Lubbers , Pieter Koopman , Rinus Plasmeijer

In a mosaic, a tessera is a single stone. We introduce tesserae for the co-simulation framework mosaik, where they are sets of entities. They allow for a visual, intuitive, and yet systematic description of simulation scenarios by allowing…

Computational Engineering, Finance, and Science · Computer Science 2026-04-16 Eike Schulte , Jan Sören Schwarz , Malte Stomberg , Sharaf Alsharif , Danila Valko , Jirapa Kamsamsong

This paper surveys the current state of the art in document automation (DA). The objective of DA is to reduce the manual effort during the generation of documents by automatically integrating input from different sources and assembling…

Computation and Language · Computer Science 2021-09-27 Mohammad Ahmadi Achachlouei , Omkar Patil , Tarun Joshi , Vijayan N. Nair

This paper explores the architecture of Software as a Service (SaaS) platforms, emphasizing scalability and maintainability. SaaS, a flexible software distribution model suitable for individuals and organizations, has become prevalent with…

Software Engineering · Computer Science 2024-03-11 Ardy Dedase

Designing a web-application from a specification involves a series of well-planned and well executed steps leading to the final product. This often involves critical changes in design while testing the application, which itself is slow and…

Software Engineering · Computer Science 2007-05-23 Joy Dutta , Paul Fodor

In this work, having in mind the construction of concurrent systems from components, we discuss the difference between actions and events. For this discussion, we propose an(other) architecture description language in which actions and…

Software Engineering · Computer Science 2014-01-07 Valentin Cassano , Thomas S. E. Maibaum