中文
相关论文

相关论文: An interface group for process components

200 篇论文

The functional interaction structure of a team captures the preferences with which members of different roles interact. This paper presents a data-driven approach to detect the functional interaction structure for software development teams…

软件工程 · 计算机科学 2023-03-01 Christian Zingg , Alexander von Gernler , Carsten Arzig , Frank Schweitzer , Christoph Gote

We propose a component-based semantic model for Cyber-Physical Systems (CPSs) wherein the notion of a component abstracts the internal details of both cyber and physical processes, to expose a uniform semantic model of their externally…

软件工程 · 计算机科学 2021-10-06 Benjamin Lion , Farhad Arbab , Carolyn Talcott

We propose a component-based semantic model for Cyber-Physical Systems (CPSs) wherein the notion of a component abstracts the internal details of both cyber and physical processes, to expose a uniform semantic model of their externally…

系统与控制 · 电气工程与系统科学 2022-03-28 Benjamin Lion , Farhad Arbab , Carolyn Talcott

The present article introduces a reference framework for discussing resilience of computational systems. Rather than a property that may or may not be exhibited by a system, resilience is interpreted here as the emerging result of a dynamic…

系统与控制 · 计算机科学 2015-04-13 Vincenzo De Florio

Faceted arrangement of entities and typed relations for representing different associations between the entities are established tools in knowledge representation. In this paper, a proposal is being discussed combining both tools to draw…

信息检索 · 计算机科学 2014-09-02 Winfried Gödert

Collectiveness is an important property of many systems--both natural and artificial. By exploiting a large number of individuals, it is often possible to produce effects that go far beyond the capabilities of the smartest individuals, or…

人工智能 · 计算机科学 2023-10-26 Roberto Casadei

Recently, Agentic AI has become an increasingly popular research field. However, we argue that current agent research practices lack standardization and scientific rigor, making it hard to conduct fair comparisons among methods. As a…

We use dialgebras, generalising both algebras and coalgebras, as a complement of the standard coalgebraic framework, aimed at describing the semantics of an interactive system by the means of reaction rules. In this model, interaction is…

计算机科学中的逻辑 · 计算机科学 2013-06-05 Vincenzo Ciancia

In the field of group recommendation systems (GRS), effectively addressing the diverse preferences of group members poses a significant challenge. Traditional GRS approaches often aggregate individual preferences into a collective group…

信息检索 · 计算机科学 2025-03-18 Peijin Yu , Shin'ichi Konomi

Interface design can directly influence trustworthiness of a software. Thereby, it affects users' intention to use a tool. Previous research on user trust has not comprehensively addressed user interface design, though. We lack an…

人机交互 · 计算机科学 2022-03-01 Valentin Zieglmeier , Antonia Maria Lehene

These lecture notes concern the basics of the theory of process behaviour. First the concept of a (labelled) transition system receives ample treatment and then the following issues concerning process behaviour are elaborated in the setting…

计算机科学中的逻辑 · 计算机科学 2016-10-06 C. A. Middelburg

A web-based interface dedicated for cluster computer which is publicly accessible for free is introduced. The interface plays an important role to enable secure public access, while providing user-friendly computational environment for…

分布式、并行与集群计算 · 计算机科学 2007-11-06 Z. Akbar , L. T. Handoko

Intelligent information systems that contain emergent elements often encounter trust problems because results do not get sufficiently explained and the procedure itself can not be fully retraced. This is caused by a control flow depending…

计算机与社会 · 计算机科学 2021-04-30 Michael Guckert , Nils Gumpfer , Jennifer Hannig , Till Keller , Neil Urquhart

In many real network systems, nodes usually cooperate with each other and form groups, in order to enhance their robustness to risks. This motivates us to study a new type of percolation, group percolation, in interdependent networks under…

物理与社会 · 物理学 2018-03-21 Zexun Wang , Dong Zhou , Yanqing Hu

We introduce a process algebra that concerns the timed behaviour of distributed systems with a known spatial distribution. This process algebra provides a communication mechanism that deals with the fact that a datum sent at one point in…

计算机科学中的逻辑 · 计算机科学 2025-02-25 J. A. Bergstra , C. A. Middelburg

The development of many highly dynamic environments, like pervasive environments, introduces the possibility to use geographically close-related services. Dynamically integrating and unintegrating these services in running applications is a…

操作系统 · 计算机科学 2008-07-25 Frédéric Le Mouël , Noha Ibrahim , Stéphane Frénot

Despite the intricacies involved in designing a computer as a teampartner, we can observe patterns in team behavior which allow us to describe at a general level how AI systems are to collaborate with humans. Whereas most work on…

人机交互 · 计算机科学 2021-01-18 Jurriaan van Diggelen , Wiard Jorritsma , Bob van der Vecht

Quantum computations operate in the quantum world. For their results to be useful in any way, there is an intrinsic necessity of cooperation and communication controlled by the classical world. As a consequence, full formal descriptions of…

量子物理 · 物理学 2007-05-23 Philippe Jorrand , Marie Lalire

Recommendation is a prevalent application of machine learning that affects many users; therefore, it is important for recommender models to be accurate and interpretable. In this work, we propose a method to both interpret and augment the…

机器学习 · 统计学 2020-06-22 Michael Tsang , Dehua Cheng , Hanpeng Liu , Xue Feng , Eric Zhou , Yan Liu

Human-centered AI workflows involve stakeholders with multiple roles interacting with each other and automated agents to accomplish diverse tasks. In this paper, we call for a holistic view when designing support mechanisms, such as…

数据库 · 计算机科学 2023-01-11 Sajjadur Rahman , Hannah Kim , Dan Zhang , Estevam Hruschka , Eser Kandogan