中文
相关论文

相关论文: DRAFT : Task System and Item Architecture (TSIA)

200 篇论文

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…

计算机与社会 · 计算机科学 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…

形式语言与自动机理论 · 计算机科学 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…

人工智能 · 计算机科学 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…

分布式、并行与集群计算 · 计算机科学 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…

人机交互 · 计算机科学 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…

软件工程 · 计算机科学 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…

人机交互 · 计算机科学 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…

机器学习 · 计算机科学 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…

多智能体系统 · 计算机科学 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…

机器学习 · 计算机科学 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…

密码学与安全 · 计算机科学 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 · 计算机科学 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…

分布式、并行与集群计算 · 计算机科学 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…

编程语言 · 计算机科学 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…

计算工程、金融与科学 · 计算机科学 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…

计算与语言 · 计算机科学 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…

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 2014-01-07 Valentin Cassano , Thomas S. E. Maibaum