English
Related papers

Related papers: An interface group for process components

200 papers

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…

Software Engineering · Computer Science 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…

Software Engineering · Computer Science 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…

Systems and Control · Electrical Eng. & Systems 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…

Systems and Control · Computer Science 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…

Information Retrieval · Computer Science 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…

Artificial Intelligence · Computer Science 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…

Logic in Computer Science · Computer Science 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…

Information Retrieval · Computer Science 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…

Human-Computer Interaction · Computer Science 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…

Logic in Computer Science · Computer Science 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…

Distributed, Parallel, and Cluster Computing · Computer Science 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…

Computers and Society · Computer Science 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…

Physics and Society · Physics 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…

Logic in Computer Science · Computer Science 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…

Operating Systems · Computer Science 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…

Human-Computer Interaction · Computer Science 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…

Quantum Physics · Physics 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…

Machine Learning · Statistics 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…

Databases · Computer Science 2023-01-11 Sajjadur Rahman , Hannah Kim , Dan Zhang , Estevam Hruschka , Eser Kandogan